Pinned Loading
-
rust-lang/rust
rust-lang/rust PublicEmpowering everyone to build reliable and efficient software.
-
hout-prover
hout-prover PublicA non-interactive proof assistant using the Haskell type system
-
coq-antivalence
coq-antivalence PublicCoq plugin to generate type inequality axioms for inductive definitions
OCaml 9
-
submodule-dependency
submodule-dependency PublicGitHub action to checkout submodule changes that are required for a pull request
TypeScript 6
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.