Hacker News
- TLA+ in Practice and Theory, Part 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 8 comments
- TLA+ in Practice and Theory, Part 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 6 comments programming
Linked pages
- Gödel's incompleteness theorems - Wikipedia https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems 343 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- First-order logic - Wikipedia http://en.wikipedia.org/wiki/First-order_logic 44 comments
- https://www.math.ualberta.ca/mss/misc/A%20Mathematician%27s%20Apology.pdf 33 comments
- Second-order logic - Wikipedia https://en.wikipedia.org/wiki/Second-order_logic 25 comments
- Epsilon calculus - Wikipedia https://en.wikipedia.org/wiki/Epsilon_calculus#Hilbert_notation 24 comments
- Monoid - Wikipedia http://en.wikipedia.org/wiki/Monoid 20 comments
- The Writings of Leslie Lamport https://lamport.azurewebsites.net/pubs/pubs.html 10 comments
- Cartesian product - Wikipedia https://en.wikipedia.org/wiki/Cartesian_product#Infinite_products 10 comments
- Intuitionistic logic - Wikipedia http://en.wikipedia.org/wiki/intuitionistic_logic 8 comments
- Function (mathematics) - Wikipedia https://en.wikipedia.org/wiki/Function_(mathematics) 5 comments
- Preorder - Wikipedia https://en.wikipedia.org/wiki/Preorder 5 comments
- https://lamport.azurewebsites.net/pubs/lamport-how-to-write.pdf 4 comments
- https://lamport.azurewebsites.net/pubs/proof.pdf 4 comments
- Russell's paradox - Wikipedia https://en.wikipedia.org/wiki/Russell%27s_paradox 1 comment
- Paraconsistent logic - Wikipedia https://en.wikipedia.org/wiki/Paraconsistent_logic 1 comment
- Venn diagram - Wikipedia https://en.wikipedia.org/wiki/Venn_diagram 1 comment
- http://lamport.azurewebsites.net/pubs/lamport-types.pdf 0 comments
- Principle of explosion - Wikipedia https://en.wikipedia.org/wiki/Principle_of_explosion 0 comments
- Zermelo–Fraenkel set theory - Wikipedia https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory 0 comments
Related searches:
Search whole site: site:pron.github.io
Search title: TLA+ in Practice and TheoryPart 2: The + in TLA+
See how to search.