GitHub - LPCIC/matita: Matita (proof assistant) with embedded elpi · GitHub

This repository was archived by the owner on Aug 5, 2025. It is now read-only.

Name		Name	Last commit message	Last commit date
abella		abella
elpi @ f8e93b9		elpi @ f8e93b9
lib		lib
matita		matita
refiner-ALT-0		refiner-ALT-0
refiner-ALT-1		refiner-ALT-1
refiner-CSC		refiner-CSC
.gitignore		.gitignore
.gitmodules		.gitmodules
.merlin		.merlin
COMPILE.txt		COMPILE.txt
Makefile		Makefile
README_MATITA_WITH_ELPI.txt		README_MATITA_WITH_ELPI.txt

About

Matita (proof assistant) with embedded elpi

Custom properties

15 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages