Hacker News
- Coq: A program specification and mathematical higher-level language https://coq.inria.fr/ 2 comments
- Opinions on Proof Assistants https://coq.inria.fr/ 44 comments math
- Coq site down http://coq.inria.fr/ 2 comments coq
- Looking for books, articles, courses (any kind of information really) on CS coming from a pure math background https://coq.inria.fr/ 11 comments compsci
Linking pages
- Where do Type Systems Come From? http://blog.felipe.rs/2017/07/07/where-do-type-systems-come-from 391 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/why-dependent-haskell 298 comments
- Why Dependent Haskell is the Future of Software Development https://serokell.io/blog/2018/12/17/why-dependent-haskell 227 comments
- Why TDD Isn't Crap • Hillel Wayne https://www.hillelwayne.com/post/why-tdd-isnt-crap/ 165 comments
- blog/semantic_future.md at main · GavinMendelGleason/blog · GitHub https://github.com/GavinMendelGleason/blog/blob/main/entries/semantic_future.md 149 comments
- Gopiandcode > logs > Goodbye C developers: The future of programming with certified program synthesis https://gopiandcode.uk/logs/log-certified-synthesis.html 127 comments
- Minerva: Solving Quantitative Reasoning Problems with Language Models – Google AI Blog http://ai.googleblog.com/2022/06/minerva-solving-quantitative-reasoning.html 103 comments
- GitHub - ms-jpq/coq_nvim: Fast as FUCK nvim completion. SQLite, concurrent scheduler, hundreds of hours of optimization. https://github.com/ms-jpq/coq_nvim 90 comments
- GitHub - clarus/falso: A proof of false in Coq. https://github.com/clarus/falso 66 comments
- GitHub - xgrommx/awesome-functional-programming: Yet another resource for collecting articles, videos etc. regarding functional programming https://github.com/xgrommx/awesome-functional-programming 59 comments
- Learning to prove theorems via interacting with proof assistants | the morning paper https://blog.acolyer.org/2019/08/23/learning-to-prove-theorems-via-interacting-with-proof-assistants/ 53 comments
- TLA+ in Practice and Theory&LTbr/>Part 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- GitHub - Lysxia/advent-of-coq-2018: Advent of Code 2018, in Coq! (https://adventofcode.com/2018) https://github.com/Lysxia/advent-of-coq-2018 43 comments
- What is the type of Type? https://www.avestura.dev/blog/what-is-the-type-of-type 33 comments
- Software – AMR https://amathr.org/software/ 33 comments
- Under-Investigated Fields List (Version 1.0) - matthewmcateer.me https://matthewmcateer.me/blog/under-investigated-fields/ 32 comments
- Why Rust?. What is Rust language and why Parity… | by Dmitriy Kashitsyn | Parity Technologies | Medium https://medium.com/paritytech/why-rust-846fd3320d3f 32 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 30 comments
- GitHub - ocaml-community/awesome-ocaml: A curated collection of awesome OCaml tools, frameworks, libraries and articles. https://github.com/rizo/awesome-ocaml#books 28 comments
- Typestate-oriented programming in F* http://olleharstedt.github.io/fstar/2017/01/12/typestate-in-fstar.html 27 comments
Would you like to stay up to date with Computer science? Checkout Computer science Weekly.
Related searches:
Search whole site: site:coq.inria.fr
Search title: Welcome! | The Coq Proof Assistant
See how to search.