Sarenard / ProofAssist Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A proof assistant made in rust for a TIPE

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 90 Commits
src		src
theorems		theorems
tools		tools
.gitignore		.gitignore
Cargo.toml		Cargo.toml
JOURNAL.md		JOURNAL.md
LICENSE		LICENSE
README.md		README.md

Repository files navigation

ProofAssist

A proof assistant made in rust for a TIPE

sources

Source about equality in dependant type theory

About

A proof assistant made in rust for a TIPE

Report repository

Releases

No releases published

Packages

No packages published

Languages