@hackage / theoremquest

A common library for TheoremQuest, a theorem proving game.

0.0.0

Dependents

@hackage / acme-everything Install everything.
- Version: 2018.11.18
- Last uploaded: 7 years ago
- License: LicenseRef-PublicDomain
@hackage / theoremquest-client A simple client for the TheoremQuest theorem proving game.
- Version: 0.0.0
- Last uploaded: 15 years ago
- License: BSD-3-Clause