Search: [programming/proof] - Signets

Delete Set public Set private

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