fpottier/coq-iteration fpottier/coq-iteration

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language Coq
  • Created 9 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fpottier/coq-iteration
github

fpottier

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Mathematical concepts related to iteration

More Repositories

1

pprint

A pretty-printing combinator library for OCaml
OCaml
47
star
2

baby

A balanced binary search tree library for OCaml
OCaml
18
star
3

mpri-2.4-projet-2022-2023

A programming project on automatic differentiation in OCaml
OCaml
11
star
4

stores

An OCaml library that offers several implementations of (in-memory) stores.
OCaml
10
star
5

loop

Coq
8
star
6

hachis

A hash set and hash map library for OCaml
OCaml
1
star