Scrap Your Boilerplate library / Imperial College / /
IndustryTerm
research software / web applications / pre-existing academic software / deductive systems / preexistent research software / active research software / online learning / regarded systems / software reuse / http /
OperatingSystem
Macintosh / /
Organization
International Congress / Proof Lab / Imperial College / Stanford / /
Person
Krysia Broda / Richard Bornat / Schwartzentruber Strecker / Jiefei Ma / Bernard Sufrin / Jeremy Pitt / Ulle Endriss / Luis Sierra / Edward Z. Yang / Gabrielle Sinnadurai / Oliver Gasquet / Alexander Summers / Martin Strecker / /