Similar repositories to ikedaisuke/HoareLogic:

• ikedaisuke/HoareLogic github similar
• ikedaisuke/Pythagoras github similar
• wjzz/Agda-Representing-Monads github similar
• gergoerdi/stlc-agda github similar
• agda/ooAgda github similar
• gallais/agda-presburger github similar
• UlfNorell/agda-prelude github similar
• agda/agda-categories github similar
• idris-lang/Idris-dev github similar