Awesome Lists

trakt

by ecranceMERCE

Prologpushed almost 2 years ago

A generic goal preprocessing tool for proof automation tactics in Coq

AI summary

Proof automation tool

Automates goal preprocessing in proof automation tactics using a custom-built tool

stars
15
forks
8
watching
2
awesome list
1
View on GitHubecrancemerce.github.io/trakt

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/ecranceMERCE/trakt/links.svg)](https://awesome.facts.dev/awesome/ecranceMERCE/trakt)
HTML
<a href="https://awesome.facts.dev/awesome/ecranceMERCE/trakt"><img src="https://awesome.facts.dev/shield/ecranceMERCE/trakt/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/ecranceMERCE/trakt/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.