Giters

francoisthire / matita

Matita (proof assistant) with embedded elpi

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Matita (proof assistant) with embedded elpi

Languages

Language:OCaml 49.8%Language:Mathematica 49.1%Language:Makefile 0.8%Language:Standard ML 0.1%Language:M4 0.1%Language:Perl 0.0%Language:Shell 0.0%Language:Haskell 0.0%