Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Remember me
593
shaares
593
shaares
Filters
Links per page
20
50
100
12 results tagged
programming/proof
How to write a 21ˢᵗ century proof
programming/proof
August 31, 2022 08:54:56 PM GMT+02:00 * ·
permalink
·
https://www.microsoft.com/en-us/research/uploads/prod/2016/12/How-to-Write-a-21st-Century-Proof.pdf
Learn Coq in Y Minutes
programming/proof
March 23, 2021 12:00:50 PM GMT+01:00 * ·
permalink
·
https://learnxinyminutes.com/docs/coq/
The Natural Number Game
programming/proof
March 23, 2021 11:55:47 AM GMT+01:00 * ·
permalink
·
https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/
Lean for the Curious Mathematician (2020)
programming/proof
·
maths/learn
December 28, 2020 12:56:27 PM GMT+01:00 * ·
permalink
·
https://leanprover-community.github.io/lftcm2020/schedule.html
Lean — Theorem prover and proof assistant
programming/proof
December 28, 2020 12:32:39 PM GMT+01:00 * ·
permalink
·
https://leanprover-community.github.io/
homotopy.io
programming/proof
November 24, 2020 01:19:28 PM GMT+01:00 * ·
permalink
·
https://ncatlab.org/nlab/show/homotopy.io
Mizar
programming/proof
November 22, 2020 05:40:49 PM GMT+01:00 * ·
permalink
·
http://mizar.org/project/
Théorie des types dépendants et axiome d’univalence
maths/foundation
·
programming/proof
September 14, 2020 01:19:39 PM GMT+02:00 * ·
permalink
·
http://www.cse.chalmers.se/~coquand/paperbourbaki.pdf
jsCoq – The Coq Theorem Prover Online IDE
programming/proof
September 14, 2020 01:16:37 PM GMT+02:00 * ·
permalink
·
https://jscoq.github.io/scratchpad.html
Analysis of Bloom filters with Coq
programming/proof
·
computer-science/probabilistic
September 14, 2020 11:32:49 AM GMT+02:00 * ·
permalink
·
https://gopiandcode.uk/logs/log-bloomfilters-debunked.html
Coq Tactic Index
programming/proof
June 7, 2020 12:02:07 AM GMT+02:00 * ·
permalink
·
https://pjreddie.com/coq-tactics/
Coq Reference Manual
maths/logic
·
programming/proof
June 6, 2020 11:54:17 PM GMT+02:00 * ·
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?
Are you sure you want to delete this tag?
The personal, minimalist, super fast, database-free, bookmarking service by the Shaarli community