Sign in
This is your work, valued
Formalized Formal Logic
Expert
@FormalizedFormalLogic
Formalize Formal Logic in Lean4
1,279
views
60
searches
Claim my profile
