Skip to content
GitLab
Explore
Sign in
Pascal Fradet
rt-proofs
Repository
rt-proofs
scripts
known-long-proofs.json
Find file
Blame
History
Permalink
enable proof-length checking during CI
· 3b689961
Björn Brandenburg
authored
Jun 24, 2019
3b689961