chen

Packages

Name Attribute Description
abella-modded-unstable-2021-07-04 nur.repos.chen.abella-modded Interactive theorem prover (Modded by JimmyZJX)