An independent implementation of the Lean 4 kernel on .NET, and a checker for Lean exports
C# Updated about 1 month ago 1 commits 4 stars
omega-coder|Mirror: keithadler/tenet (⭐4)
about 1 month agoAbout
An independent implementation of the Lean 4 kernel on .NET, and a checker for Lean exports
Readme
4 stars