Selected Tags

Click on a tag to remove it

Theoremquest packages

Showing projects tagged as Theoremquest

  • theoremquest

    4.8 0.0 Haskell
    A common library for TheoremQuest, a theorem proving game.