https://github.com/JasonGross/coq-tools
History
Tip revision: a47ed37e05cc2f848d43cb70a627db5c518ba0c0 authored by Jason Gross on 12 July 2022, 18:21:59 UTC
Remove path sensitivity in traceback output, test 12
Tip revision: a47ed37
File Mode Size
workflows
dependabot.yml -rw-r--r-- 218 bytes

back to top