https://github.com/ammkrn/nanoda

A type checker for the Lean theorem prover
https://github.com/ammkrn/nanoda

Last synced: about 1 month ago
JSON representation

A type checker for the Lean theorem prover

• Host: GitHub
• URL: https://github.com/ammkrn/nanoda
• Owner: ammkrn
• Created: 2019-08-21T04:18:30.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2021-03-06T03:15:12.000Z (over 3 years ago)
• Last Synced: 2024-02-11T13:12:44.124Z (5 months ago)
• Language: Rust
• Size: 328 KB
• Stars: 39
• Watchers: 9
• Forks: 3
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - nanoda - became nanoda-lib. (Projects / Libraries)

README

        


## THIS REPOSITORY IS DEPRECATED

Active development of this project has moved to [nanoda_lib](https://github.com/ammkrn/nanoda_lib.git). Information about this version (the old one) can still be found in OLD_README.md

* This version implements the older reduction strategy and hasn't been tuned for the sheer size of newer versions of mathlib. Please be aware that running this against recent builds of mathlib may result in an out of memory error.

## 非推奨通知

このプロジェクトの開発は[nanoda_lib](https://github.com/ammkrn/nanoda_lib.git)へ移転しました。このバージョン(古いの)に関する情報は OLD_README.md でまだ読めます。