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: -- I guess we can take comfort in that we at least have the largest certified primes:

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 :

- Angeliki Koutsoukou-Argyraki (@AngelikiKoutso1)

@XenaProject @CoqLang does much larger numbers We recently used this in our verification of cryptographic primitives in smart contracts

- Bas Spitters (@BasspittersBs)

Last updated: Aug 19 2022 at 21:02 UTC