Signets
Signets
Tag cloud
Picture wall
Daily
RSS Feed
Login
Delete
Set public
Set private
Remember me
592
shaares
592
shaares
Filters
Links per page
20
50
100
12 results tagged
programming/proof
How to write a 21ˢᵗ century proof
programming/proof
Wed Aug 31 20:54:56 2022 * ·
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
Tue Mar 23 12:00:50 2021 * ·
permalink
·
https://learnxinyminutes.com/docs/coq/
The Natural Number Game
programming/proof
Tue Mar 23 11:55:47 2021 * ·
permalink
·
https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/
Lean for the Curious Mathematician (2020)
programming/proof
·
maths/learn
Mon Dec 28 12:56:27 2020 * ·
permalink
·
https://leanprover-community.github.io/lftcm2020/schedule.html
Lean — Theorem prover and proof assistant
programming/proof
Mon Dec 28 12:32:39 2020 * ·
permalink
·
https://leanprover-community.github.io/
homotopy.io
programming/proof
Tue Nov 24 13:19:28 2020 * ·
permalink
·
https://ncatlab.org/nlab/show/homotopy.io
Mizar
programming/proof
Sun Nov 22 17:40:49 2020 * ·
permalink
·
http://mizar.org/project/
Théorie des types dépendants et axiome d’univalence
maths/foundation
·
programming/proof
Mon Sep 14 13:19:39 2020 * ·
permalink
·
http://www.cse.chalmers.se/~coquand/paperbourbaki.pdf
jsCoq – The Coq Theorem Prover Online IDE
programming/proof
Mon Sep 14 13:16:37 2020 * ·
permalink
·
https://jscoq.github.io/scratchpad.html
Analysis of Bloom filters with Coq
programming/proof
·
computer-science/probabilistic
Mon Sep 14 11:32:49 2020 * ·
permalink
·
https://gopiandcode.uk/logs/log-bloomfilters-debunked.html
Coq Tactic Index
programming/proof
Sun Jun 7 00:02:07 2020 * ·
permalink
·
https://pjreddie.com/coq-tactics/
Coq Reference Manual
maths/logic
·
programming/proof
Sat Jun 6 23:54:17 2020 * ·
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