Giters

pi8027 / trakt

A generic goal preprocessing tool for proof automation tactics in Coq

Home Page:https://ecrancemerce.github.io/trakt

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Trakt logo

Trakt

This repository contains the first version of Trakt, a generic goal preprocessing tool for proof automation tactics in Coq.

About

A generic goal preprocessing tool for proof automation tactics in Coq

https://ecrancemerce.github.io/trakt

License:GNU Lesser General Public License v3.0

Languages

Language:Prolog 79.5%Language:Coq 20.3%Language:Makefile 0.2%