Scavenger

Scavenger

https://gitlab.com/aossie/Scavenger

Scala5

3 years ago

Reviews

A theorem prover based on the conflict resolution calculus

Search similar apps

    License

    Other

    Share

    A theorem prover based on the conflict resolution calculus

    User

    Related apps