Navigation :

chen

Packages

Name	Attribute	Description
abella-modded-unstable-2021-07-04	nur.repos.chen.abella-modded	Interactive theorem prover (Modded by JimmyZJX)
ott-sweirich-unstable-2022-04-07	nur.repos.chen.ott-sweirich	A tool for the working semanticist (Stephanie Weirich’s fork)