Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/the-little-prover/j-bob
https://github.com/the-little-prover/j-bob
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/the-little-prover/j-bob
- Owner: the-little-prover
- License: bsd-2-clause
- Created: 2015-07-03T02:59:25.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2021-04-09T14:31:35.000Z (about 3 years ago)
- Last Synced: 2024-01-04T03:09:32.775Z (6 months ago)
- Language: Scheme
- Size: 18.6 KB
- Stars: 412
- Watchers: 30
- Forks: 60
- Open Issues: 5
Lists
- awesome-functional-programming - J-Bob - The proof assistant from the book `The Little Prover` (Table of Contents / Repos)
- awesome-stars - the-little-prover/j-bob
- awesome - j-bob - (Scheme)
- awesome-stars - the-little-prover/j-bob - (Scheme)