3 ms·
A tutorial or a few example of proofs would be nice. How does the experience differ from using Coq?
by sriram_malhar 7y ago
A tutorial or a few example of proofs would be nice. How does the experience differ from using Coq?
loading thread…
3 ms·