kaushikc.org / logic_proof
this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

readme

Kaushik Chakraborty 90f3bf0a 3fc1048e

+1
+1
README.org
··· 1 + Exercises from [[https://leanprover.github.io/logic_and_proof/][Logic and Proof Course]] using Lean Theorem Prover