• .gitignore -rw-r--r-- 7 bytes
• Cert.lean -rw-r--r-- 27333 bytes
• CertCheck.lean -rw-r--r-- 13468 bytes
• CertMain.lean -rw-r--r-- 2954 bytes
• CertProofs.lean -rw-r--r-- 13794 bytes
• CertTranslate.lean -rw-r--r-- 5736 bytes
• CertTranslateMain.lean -rw-r--r-- 5297 bytes
• Dependent.lean -rw-r--r-- 57798 bytes
• DependentMain.lean -rw-r--r-- 73 bytes
• Main.lean -rw-r--r-- 14634 bytes
• README.md -rw-r--r-- 433 bytes
• dbtypes -rw-r--r-- 2414 bytes
• demo/ drwxrwxrwx 218 bytes
• factoring_test/ drwxrwxrwx 392 bytes
• lake-manifest.json -rw-r--r-- 124 bytes
• lakefile.toml -rw-r--r-- 407 bytes
• lean-toolchain -rw-r--r-- 29 bytes
• lurkdir.patch -rw-r--r-- 484 bytes
• main.lurk -rw-r--r-- 3397 bytes
• slop/ drwxrwxrwx 531 bytes