Karl Palmskog (Jun 05 2020 at 22:52): 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: Oct 08 2024 at 16:02 UTC