elidupree coq_experiments issues - Githubissues

elidupree / coq_experiments

4 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Auto-detect nonterminating proofs

#6 elidupree opened 3 years ago
0
don't lose redo history when doing the same tactic explicitly

#5 elidupree opened 3 years ago
0
Discoverability of globals

#4 elidupree opened 3 years ago
0
Proof explorer: better diffs of terms

#3 elidupree opened 3 years ago
0
Various proof explorer notes

#2 elidupree opened 3 years ago
5
Proof explorer: make it easy to redo tactics you've reverted (display them grayed out after the featured ones?)

#1 elidupree closed 3 years ago
0