famubu/reglang-mod-again
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
54 Commits 1 Branch 0 Tags 131 KiB
Coq 98.9%
Nix 1.1%
master
Go to file
Julin Shaji d196839e6e add a README
2024-07-16 22:43:01 +05:30
theories clean up 2024-07-16 22:30:53 +05:30
_CoqProject clean up 2024-07-16 22:30:53 +05:30
default.nix clean up 2024-07-16 22:30:53 +05:30
dune-project clean up 2024-07-16 22:30:53 +05:30
README.md add a README 2024-07-16 22:43:01 +05:30

README.md

Replication of a part of https://github.com/coq-community/reglang/

An attempt to get familiar with some mathcomp stuff.

Build with:

$ nix-shell
$ dune build