# jsiek/deduce

<https://repo.masters-masters.com/en/repos/jsiek/deduce>

[Home](https://repo.masters-masters.com/en) › [jsiek](https://repo.masters-masters.com/en/owners/jsiek) › [deduce](https://repo.masters-masters.com/en/repos/jsiek/deduce)

jsiek/deduce has 125 stars on GitHub. Its RepoMasters card: Prototype tier. A proof checker meant for education. Primarily for teaching proofs of correctness…

| Field | Value |
| --- | --- |
| Owner | [jsiek](https://repo.masters-masters.com/en/owners/jsiek) |
| Stars | 125 |
| Forks | 13 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | BSL-1.0 |
| Created | 2024 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [jsiek/deduce](https://github.com/jsiek/deduce) |

## Repository

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Python

- [paraboy-s/mcd-meal-pairing · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/paraboy-s/mcd-meal-pairing)
- [ilAoC/mcd-gacha-collector · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/ilAoC/mcd-gacha-collector)
- [adhiprib/humanizer-indonesia · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/adhiprib/humanizer-indonesia)
- [dokterbob/django-agenda · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/dokterbob/django-agenda)
- [garethr/django-project-templates · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/garethr/django-project-templates)
- [jezdez/django-staticfiles · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/jezdez/django-staticfiles)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.