Skip to main content

Browse the archive

Revision 189283a215d9d93ed5819f037d38e1f9131acc92 authored by Pierre-Yves Strub on 15 March 2023, 06:59:34 UTC, committed by Pierre-Yves Strub on 15 March 2023, 07:41:31 UTC 
Move to github docker repository
1 parent bc97ee6
Raw File
.gitignore 
*~

*.pyc
*.pyo

/_build
/etc
/theories/attic

/ec.*
/src/*.exe

*.eco

/*.ec
/*.eca
/*.smt
/*.why

.merlin
*.install
back to top