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