fpottier/coq-iteration
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Mathematical concepts related to iteration
34 commits 2 branches 0 tags 61 KiB
  • Rocq Prover 97.2%
  • Makefile 1.5%
  • Dune 1.3%
Find a file
Exact
Tiago Soares 7e9e7014c5 Combinator definitions (ion and tiago)
2024-03-27 18:00:55 +00:00
theories Combinator definitions (ion and tiago) 2024-03-27 18:00:55 +00:00
.gitignore .gitignore 2024-03-07 15:05:53 +01:00
_CoqProject dune/opam setup and Makefile. 2024-03-07 15:06:21 +01:00
coq-iteration.opam dune/opam setup and Makefile. 2024-03-07 15:06:21 +01:00
dune-project dune/opam setup and Makefile. 2024-03-07 15:06:21 +01:00
Makefile dune/opam setup and Makefile. 2024-03-07 15:06:21 +01:00
TODO.md Combinator definitions (ion and tiago) 2024-03-27 18:00:55 +00:00