Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/aripiprazole/zu
๐งช | Zu Theorem Prover
https://github.com/aripiprazole/zu
compiler dependent-types interpreter rust type-theory
Last synced: 13 days ago
JSON representation
๐งช | Zu Theorem Prover
- Host: GitHub
- URL: https://github.com/aripiprazole/zu
- Owner: aripiprazole
- Created: 2023-08-15T15:02:50.000Z (11 months ago)
- Default Branch: main
- Last Pushed: 2023-10-18T18:52:32.000Z (9 months ago)
- Last Synced: 2024-05-21T08:16:27.004Z (about 2 months ago)
- Topics: compiler, dependent-types, interpreter, rust, type-theory
- Language: Rust
- Homepage:
- Size: 299 KB
- Stars: 3
- Watchers: 1
- Forks: 0
- Open Issues: 1
-
Metadata Files:
Lists
- my-awesome-stars - aripiprazole/zu - ๐งช | Zu Theorem Prover (Rust)