Dana: "Computer-assisted proofs, tired: coq, lean, isabe…" - types.pl

Dana @liesnikov@types.pl

Computer-assisted proofs, tired: coq, lean, isabelle
Computer-assisted proofs, wired: G A L A C T I C A ™️

9ce71b290db07954.png

Nov 18, 2022, 08:54 · · · ·

Sign in to participate in the conversation