issues
search
ProofGeneral
/
PG
This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491
stars
88
forks
source link
CI: fix workflow problem in cipg and sync currently used containers
#754
Closed
hendriktews
closed
7 months ago