Popular repositories Loading

1. HOL HOL Public

   Forked from HOL-Theorem-Prover/HOL

   Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

   Standard ML

2. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection & NixOS

   Nix

3. polyml polyml Public

   Forked from polyml/polyml

   Poly/ML

   Standard ML

4. sml-buildscripts sml-buildscripts Public

   Forked from cannam/sml-buildscripts

   Scripts to compile and run Standard ML programs defined in .mlb files.

   Shell

5. z3 z3 Public

   Forked from Z3Prover/z3

   The Z3 Theorem Prover

   C++