https://github.com/FStarLang/FStar
History
Tip revision: 2fd9303b78e9161bc7cc487ab1b99e5b516138ad authored by Guido Martínez on 21 March 2024, 17:36:59 UTC
Merge pull request #3226 from mtzguido/subtac
Tip revision: 2fd9303
File Mode Size
.ci
.completion
.devcontainer
.docker
.github
.hooks
.nix
.scripts
bin
contrib
doc
examples
ocaml
src
tests
ucontrib
ulib
.common.mk -rw-r--r-- 2.0 KB
.gitattributes -rw-r--r-- 882 bytes
.gitignore -rw-r--r-- 956 bytes
.gitmodules -rw-r--r-- 0 bytes
.ignore -rw-r--r-- 31 bytes
.merlin -rw-r--r-- 554 bytes
CHANGES.md -rw-r--r-- 49.4 KB
CONTRIBUTING.md -rw-r--r-- 5.4 KB
FStar.fst.config.json -rw-r--r-- 160 bytes
INSTALL.md -rw-r--r-- 15.7 KB
LICENSE -rw-r--r-- 10.5 KB
LICENSE-fsharp.txt -rw-r--r-- 9.0 KB
Makefile -rw-r--r-- 5.3 KB
README.md -rw-r--r-- 3.6 KB
build_local.sh -rwxr-xr-x 1.8 KB
flake.lock -rw-r--r-- 1.4 KB
flake.nix -rw-r--r-- 1.9 KB
fstar.opam -rw-r--r-- 1.0 KB
version.txt -rw-r--r-- 15 bytes

README.md

back to top