https://github.com/Deducteam/predicativize
Tip revision: 5d4ce55d64076572b09b5d730a7d9dfd144b9c77 authored by thiagofelicissimo on 01 November 2022, 12:19:54 UTC
updates readme2
updates readme2
Tip revision: 5d4ce55
File | Mode | Size |
---|---|---|
extra_cstrs | ||
input | ||
metas | ||
src | ||
theory | ||
.gitignore | -rw-r--r-- | 329 bytes |
Makefile | -rw-r--r-- | 5.6 KB |
README.md | -rw-r--r-- | 2.2 KB |
dune-project | -rw-r--r-- | 37 bytes |
predicativize.opam | -rw-r--r-- | 0 bytes |