https://github.com/JasonGross/coq-tools
Tip revision: c254f3e24796bb1344826a46a652c83c0ad86cff authored by Jason Gross on 06 March 2024, 23:27:25 UTC
All files use python3 now
All files use python3 now
Tip revision: c254f3e
get-admitted-names.py
#!/usr/bin/env python3
import sys
from coq_tools.get_admitted_names import main
if __name__ == '__main__':
sys.exit(main())
