diff options
| author | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:32:02 +0200 |
|---|---|---|
| committer | filip <“filip.rabiega@gmail.com”> | 2025-04-22 17:32:02 +0200 |
| commit | 870e1cc1ea14fe43ae50e47828ac760e760ad93a (patch) | |
| tree | c104575c2cfaf1a8c2990a7223ebf10bed4a7a4f /dune-project | |
| parent | 2ad36ac2079cc9be06d080d63204bc194375cf02 (diff) | |
| download | chadprover-870e1cc1ea14fe43ae50e47828ac760e760ad93a.tar.gz chadprover-870e1cc1ea14fe43ae50e47828ac760e760ad93a.tar.bz2 chadprover-870e1cc1ea14fe43ae50e47828ac760e760ad93a.zip | |
did a bunch of stuff
Diffstat (limited to 'dune-project')
| -rw-r--r-- | dune-project | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/dune-project b/dune-project new file mode 100644 index 0000000..8fc8069 --- /dev/null +++ b/dune-project @@ -0,0 +1,14 @@ +(lang dune 3.13) + +(name chadprover) + +(generate_opam_files true) + +(authors "Filip Rabiega") + +(license MIT) + +(package + (name chadprover) + (synopsis "Experimentation with automated proofs") + (depends ocaml dune)) |