Awesome Lists

j-bob

by the-little-prover

Schemepushed over 2 years ago

AI summary

Proof Assistant

A proof assistant with a formal system for verifying mathematical theorems and proofs

stars
420
forks
63
watching
32
awesome list
1
View on GitHub

Embed the badge

Show how many awesome lists link to your project. The count updates automatically.

Awesome Lists badge
Markdown
[![Awesome Lists Badge](https://awesome.facts.dev/shield/the-little-prover/j-bob/links.svg)](https://awesome.facts.dev/awesome/the-little-prover/j-bob)
HTML
<a href="https://awesome.facts.dev/awesome/the-little-prover/j-bob"><img src="https://awesome.facts.dev/shield/the-little-prover/j-bob/links.svg" alt="Awesome Lists Badge" /></a>
Image URL
https://awesome.facts.dev/shield/the-little-prover/j-bob/links.svg

Add a GitHub project

Missing a project or an awesome list? Paste its GitHub URL and we fetch it right away.