Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Delete
Set public
Set private
Remember me
432
shaares
432
shaares
Filters
Links per page
20
50
100
Lean — Theorem prover and proof assistant
programming/proof
December 28, 2020 at 12:32:39 PM GMT+1 * ·
permalink
·
https://leanprover-community.github.io/
Filters
Links per page
20
50
100
Fold
Fold all
Expand
Expand all
Are you sure you want to delete this link?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community
