Lean Theorem Prover

Arihant Gadgade
Writings
Date Published: 9/19/2024
Date of Last Edit:

Will update with anything I create