yiyunliu/floating-levels
Watch
1
0
Fork
You've already forked floating-levels
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
5 commits 1 branch 0 tags 46 KiB
  • Coq 97.5%
  • Makefile 1.9%
  • Standard ML 0.6%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Yiyun Liu 60555037bc Finish upgrading
2025-05-30 18:09:34 -04:00
theories Finish upgrading 2025-05-30 18:09:34 -04:00
.gitignore Initial commit 2025-05-29 13:46:56 -04:00
_CoqProject Initial commit 2025-05-29 13:46:56 -04:00
Makefile Initial commit 2025-05-29 13:46:56 -04:00
syntax.sig Initial commit 2025-05-29 13:46:56 -04:00