issues
search
ecranceMERCE
/
trakt
A generic goal preprocessing tool for proof automation tactics in Coq
https://ecrancemerce.github.io/trakt
GNU Lesser General Public License v3.0
14
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Ci for Trakt
#10
louiseddp
closed
7 months ago
0
change names of files to remove warning - becomes _
#9
louiseddp
closed
7 months ago
0
Adapt to coq-elpi 2.0.0
#8
proux01
closed
8 months ago
0
Incompatibility with Coq < 8.15
#7
pi8027
opened
2 years ago
1
Omit parentheses in term arguments of the `Trakt` commands
#6
pi8027
closed
2 years ago
0
Adding nix toolbox
#5
CohenCyril
opened
2 years ago
0
Respect the SPDX standard for license
#4
ckeller
closed
2 years ago
1
Opam file outdated / Inclusion in Coq Platform
#3
MSoegtropIMC
opened
2 years ago
8
Highlight .elpi files on github
#2
gares
closed
2 years ago
0
Add dependency to ssreflect
#1
ckeller
closed
2 years ago
1