Similar repositories to xrchz/isabelle-opentheory:

• xrchz/isabelle-opentheory github similar
• RobArthan/pp-contrib github similar
• jrh13/hol-light github similar
• HOL-Theorem-Prover/HOL github similar
• polyml/polyml github similar