Similar repositories to DeVilhena-Paulo/GaloisCVC4:

• DeVilhena-Paulo/GaloisCVC4 github similar
• isabelle-prover/cookbook github similar