Stream: Miscellaneous

Topic: SerAPI vs. SErAPIS


view this post on Zulip Karl Palmskog (Jun 05 2020 at 22:52):

The Coq-Isabelle conflict continues in a near-clash of names: https://twitter.com/AngelikiKoutso1/status/1267560939840299008 -- I guess we can take comfort in that we at least have the largest certified primes: https://twitter.com/BasspittersBs/status/1268970412416917506

Tomorrow, Yiannos Stathopoulos and I will be talking about SErAPIS, our work-in-progress search engine for the libraries of the Isabelle theorem prover @isaprover, at the #AI Research Group Seminar @Cambridge_CL : http://talks.cam.ac.uk/talk/index/140581

- Angeliki Koutsoukou-Argyraki (@AngelikiKoutso1)

@XenaProject @CoqLang does much larger numbers https://github.com/thery/coqprime We recently used this in our verification of cryptographic primitives in smart contracts http://arxiv.org/abs/1907.10674

- Bas Spitters (@BasspittersBs)

Last updated: Aug 19 2022 at 21:02 UTC