☰
Navigation :

chen

Packages

Name Attribute Description
abella-master-2.0.8 nur.repos.chen.abella-master Interactive theorem prover
abella-modded-unstable-2021-07-04 nur.repos.chen.abella-modded Interactive theorem prover (Modded by JimmyZJX)
coq8.19-autosubst-ocaml-1.1+8.19 nur.repos.chen.autosubst-ocaml An OCaml reimplementation of the Autosubst 2 code generator
ott-sweirich-unstable-2022-04-07 nur.repos.chen.ott-sweirich A tool for the working semanticist (Stephanie Weirich’s fork)