3 ms·
Could this be done in Isabelle? Isabelle has the ability to prove inductive statements. (Disclaimer : i am a noob reading Concrete Semantics right now)
by dgan 5y ago
Could this be done in Isabelle?
Isabelle has the ability to prove inductive statements.
(Disclaimer : i am a noob reading Concrete Semantics right now)
- johnisgood 5y agohttps://github.com/Componolit/libsparkcrypto/blob/componolit/src/theories/Mod_Simp.thy https://github.com/Componolit/libsparkcrypto/blob/componolit... It makes my head spin!