2 ms·
Great to see such tools growing stronger. Writing proofs in Isabelle/Coq/... is still hard and assistance from tools like this is very much welcome.
by zaik 5y ago
Great to see such tools growing stronger. Writing proofs in Isabelle/Coq/... is still hard and assistance from tools like this is very much welcome.