Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / miguelpagano / yahc

yahc is a checker for derivations of propositional calculus. Its main goal is to help first year students.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/miguelpagano%2Fyahc

Stars: 1
Forks: 0
Open Issues: 0

License: gpl-3.0
Language: Haskell
Repo Size: 133 KB
Dependencies: 10

Created: about 13 years ago
Updated: over 10 years ago
Last pushed: about 13 years ago
Last synced: about 1 year ago

Files
    Loading...
    Readme
    Loading...
    Dependencies
    yahc.cabal hackage