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
9 results tagged
programming/proof
Lean for the Curious Mathematician (2020)
programming/proof
·
maths/learn
December 28, 2020 at 12:56:27 PM GMT+1 * ·
permalink
·
https://leanprover-community.github.io/lftcm2020/schedule.html
Lean — Theorem prover and proof assistant
programming/proof
December 28, 2020 at 12:32:39 PM GMT+1 * ·
permalink
·
https://leanprover-community.github.io/
homotopy.io
programming/proof
November 24, 2020 at 1:19:28 PM GMT+1 * ·
permalink
·
https://ncatlab.org/nlab/show/homotopy.io
Mizar
programming/proof
November 22, 2020 at 5:40:49 PM GMT+1 * ·
permalink
·
http://mizar.org/project/
Théorie des types dépendants et axiome d’univalence
maths/foundation
·
programming/proof
September 14, 2020 at 1:19:39 PM GMT+2 * ·
permalink
·
http://www.cse.chalmers.se/~coquand/paperbourbaki.pdf
jsCoq – The Coq Theorem Prover Online IDE
programming/proof
September 14, 2020 at 1:16:37 PM GMT+2 * ·
permalink
·
https://jscoq.github.io/scratchpad.html
Analysis of Bloom filters with Coq
programming/proof
·
computer-science/probabilistic
September 14, 2020 at 11:32:49 AM GMT+2 * ·
permalink
·
https://gopiandcode.uk/logs/log-bloomfilters-debunked.html
Coq Tactic Index
programming/proof
June 7, 2020 at 12:02:07 AM GMT+2 ·
permalink
·
https://pjreddie.com/coq-tactics/
Coq Reference Manual
maths/logic
·
programming/proof
June 6, 2020 at 11:54:17 PM GMT+2 ·
permalink
·
https://coq.inria.fr/distrib/current/refman/
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