Docs Tasks Mako Repos Cloud Messages Wiki More

Theme

Create

New DocBlank document New TaskTrack a piece of work New FolderOrganize your work New RepoStart a codebase New WorkspaceShared with a team New WebsitePublish to the web Upload FilePDF, image, video…

general › proof-assistants

proof-assistants

Articles

Isabelle (proof assistant)Higher-order logic (HOL) automated theorem prover
Jape (software)Proof assistant program

Search powered by surf-search · Articles are read-only and curated by Surf · cloudsurf.com