/nanoda

A type checker for the Lean theorem prover

Primary LanguageRust

THIS REPOSITORY IS DEPRECATED

Active development of this project has moved to nanoda_lib. 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へ移転しました。このバージョン(古いの)に関する情報は OLD_README.md でまだ読めます。