https://github.com/lebinh/formulas
An OCaml programs to do various things with first order fomulas
https://github.com/lebinh/formulas
Last synced: 10 months ago
JSON representation
An OCaml programs to do various things with first order fomulas
- Host: GitHub
- URL: https://github.com/lebinh/formulas
- Owner: lebinh
- Created: 2010-07-16T12:03:48.000Z (over 15 years ago)
- Default Branch: master
- Last Pushed: 2010-07-16T12:21:23.000Z (over 15 years ago)
- Last Synced: 2025-01-17T21:30:49.443Z (12 months ago)
- Language: OCaml
- Homepage:
- Size: 97.7 KB
- Stars: 1
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files: