https://github.com/GeoCoq/GeoCoq
Tip revision: 2f038905da84b8e63f07e2bf5b1b1bf348e1e0a1 authored by Pierre Boutry on 03 April 2024, 07:51:27 UTC
faster script for tcp_ndc.v
faster script for tcp_ndc.v
Tip revision: 2f03890
configure-axioms.sh
#!/usr/bin/env sh
cp -f _CoqProject-Axioms.in _CoqProject
find theories/Axioms -name "*.v" >> _CoqProject
coq_makefile -f _CoqProject -o Makefile
rm -f .coqdeps.d
