GitHub / c-cube / tip-parser
[obsolete] parser for https://github.com/tip-org/
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/c-cube%2Ftip-parser
PURL: pkg:github/c-cube/tip-parser
Stars: 1
Forks: 0
Open issues: 1
License: bsd-2-clause
Language: OCaml
Size: 91.8 KB
Dependencies parsed at: Pending
Created at: almost 9 years ago
Updated at: over 2 years ago
Pushed at: over 3 years ago
Last synced at: 8 minutes ago
Topics: induction, menhir, ocaml, parser, smtlib, tip
Loading...