bin

Sep 25, 2024

6bebafa · Sep 25, 2024

This branch is 4 commits ahead of, 14 commits behind thibautbenjamin/catt:master.

Name	Name	Last commit message	Last commit date
parent directory ..
catt.ml	catt.ml	[coq-plugin] opening and parsing catt files	Sep 25, 2024
dune	dune	add linting of ocaml sources in the tests of flake + linting	Sep 21, 2024

Provide feedback