1 result found Sort:

iehality
lean4-logic iehality
4
47
apache-2.0
5
Lean4 Logic Formalization
lean4 logic incompleteness
Created 2023-02-11
510 commits to master branch, last one 17 hours ago