This TiddlyWiki contains the following tiddlers:
- $:/_edla_shared/menuitems/GettingStarted
- $:/_edla_shared/sites
- $:/_edla_shared/sites/edla.org/GourmandWebViewer
- $:/_edla_shared/sites/edla.org/rust
- $:/_edla_shared/sites/edla.org/shakuntala-devi-trainer
- $:/build
- $:/config/AutoSave
- $:/config/DefaultSidebarTab
- $:/config/ga-tracker/settings
- $:/config/Navigation/openLinkFromInsideRiver
- $:/config/Navigation/openLinkFromOutsideRiver
- $:/config/Navigation/UpdateAddressBar
- $:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/home
- $:/config/Plugins/Disabled/$:/plugins/cyrius/ga-tracker
- $:/config/Plugins/Disabled/$:/plugins/kantorsite/mathjax
- $:/config/Plugins/Disabled/$:/plugins/TheDiveO/FontAwesome
- $:/config/Plugins/Disabled/$:/plugins/tiddlywiki/github-fork-ribbon
- $:/config/Plugins/Disabled/$:/plugins/tiddlywiki/googleanalytics
- $:/config/Plugins/Disabled/$:/plugins/tiddlywiki/katex
- $:/config/Plugins/Disabled/$:/plugins/tiddlywiki/menubar
- $:/config/plugins/menubar/MenuItems/Visibility/<div class="tc-tab-buttons tc-vertical" style="box-sizing: border-box; font-size: 0.85em; padding-top: 14px; margin-bottom: inherit; z-index: 100; display: block; vertical-align: top; text-align: right; margin-right: -1px; max-width: 33%; flex: 0 0 auto;"><button aria-checked="true" class=" tc-tab-selected" role="switch" style="box-sizing: border-box; font-family: inherit; font-size: 12.75px; line-height: 1.2; margin: 3px 0px 0px; text-transform: none; appearance: button; color: rgb(102, 102, 102); padding: 3px 5px; font-weight: normal; border-width: 1px; border-style: solid; border-color: rgb(216, 216, 216) rgb(255, 255, 255) rgb(204, 204, 204) rgb(204, 204, 204); border-image: initial; background-image: inherit; background-position: inherit; background-size: inherit; background-repeat: inherit; background-attachment: inherit; background-origin: inherit; background-clip: inherit; background-color: rgb(255, 255, 255); border-radius: 2px 0px 0px 2px; display: block; width: 89.6562px; text-align: right;">Menu Bar</button></div><div class="tc-tab-content tc-vertical" style="box-sizing: border-box; margin-top: 14px; display: inline-block; vertical-align: top; padding-top: 0px; padding-left: 14px; border-left: 1px solid rgb(204, 204, 204); flex: 1 0 70%; overflow: auto;"><div class=" tc-reveal" style="box-sizing: border-box;"><h1 class="" style="box-sizing: border-box; font-size: 1.2em; line-height: 1.2; font-weight: bold; border-bottom: 1px solid rgb(217, 217, 217);">Menu Bar Configuration</h1><h2 class="" style="box-sizing: border-box; line-height: 1.2; font-weight: bold; font-size: 1em;">Menu Items</h2><p style="box-sizing: border-box;">Select which menu items will be shown. You can also drag items to reorder them.</p><p style="box-sizing: border-box;"><span class="tc-tagged-draggable-list" style="box-sizing: border-box;"><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox tc-checkbox-checked" style="box-sizing: border-box;"><input type="checkbox" checked="true" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Hamburger<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Show the full menu bar on a narrow screen</i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox " style="box-sizing: border-box;"><input type="checkbox" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Legacy Top Left Bar<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Items from<span> </span><a class="tc-tiddlylink tc-tiddlylink-missing" href="#%24%3A%2Ftags%2FTopLeftBar" style="box-sizing: border-box; text-decoration: none; font-weight: 500; color: rgb(87, 120, 216); user-select: inherit; font-style: italic;">$:/tags/TopLeftBar</a></i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox " style="box-sizing: border-box;"><input type="checkbox" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Contents<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Table of Contents</i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox " style="box-sizing: border-box;"><input type="checkbox" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Search<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Search</i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox " style="box-sizing: border-box;"><input type="checkbox" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Page controls<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Page controls from the sidebar</i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox " style="box-sizing: border-box;"><input type="checkbox" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Server<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Server options</i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox " style="box-sizing: border-box;"><input type="checkbox" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Legacy Top Right Bar<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Items from<span> </span><a class="tc-tiddlylink tc-tiddlylink-missing" href="#%24%3A%2Ftags%2FTopRightBar" style="box-sizing: border-box; text-decoration: none; font-weight: 500; color: rgb(87, 120, 216); user-select: inherit; font-style: italic;">$:/tags/TopRightBar</a></i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox " style="box-sizing: border-box;"><input type="checkbox" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Sidebar<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>Sidebar</i></span></div></div></span></div><div class="tc-menu-list-item" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><span class=" tc-droppable" style="box-sizing: border-box;"><div style="box-sizing: border-box;"><div class="tc-draggable" draggable="true" style="box-sizing: border-box; cursor: move;"><label class="tc-checkbox tc-checkbox-checked" style="box-sizing: border-box;"><input type="checkbox" checked="true" style="box-sizing: border-box; font-family: inherit; font-size: 15px; line-height: 1.15; margin: 0px; vertical-align: middle;"><span style="box-sizing: border-box;"></span></label><span> </span><span class="tc-icon-wrapper" style="box-sizing: border-box;">Sites<span> </span><i class="tc-muted" style="box-sizing: border-box; color: rgb(187, 187, 187);">–<span> </span>description</i></span></div></div></span></div><span class=" tc-droppable" style="box-sizing: border-box; color: rgb(51, 51, 51); font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji"; font-size: 15px; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; background-color: rgb(255, 255, 255); text-decoration-thickness: initial; text-decoration-style: initial; text-decoration-color: initial;"><br class="Apple-interchange-newline">
- $:/config/plugins/menubar/MenuItems/Visibility/$:/_edla_shared/sites
- $:/config/plugins/menubar/MenuItems/Visibility/$:/plugins/tiddlywiki/menubar/items/contents
- $:/config/plugins/menubar/MenuItems/Visibility/$:/plugins/tiddlywiki/menubar/items/hamburger
- $:/config/plugins/menubar/MenuItems/Visibility/$:/plugins/tiddlywiki/menubar/items/pagecontrols
- $:/config/plugins/menubar/MenuItems/Visibility/$:/plugins/tiddlywiki/menubar/items/search
- $:/config/plugins/menubar/MenuItems/Visibility/$:/plugins/tiddlywiki/menubar/items/sidebar
- $:/config/plugins/menubar/MenuItems/Visibility/$:/plugins/tiddlywiki/menubar/items/topleftbar
- $:/config/plugins/menubar/MenuItems/Visibility/$:/plugins/tiddlywiki/menubar/items/toprightbar
- $:/config/RelinkOnRename
- $:/config/WikiParserRules/Inline/wikilink
- $:/core
- $:/DefaultTiddlers
- $:/fonts/FontAwesome
- $:/github-ribbon
- $:/GoogleAnalyticsDomain
- $:/Import
- $:/isEncrypted
- $:/me/custom.css
- $:/me/info
- $:/plugins/felixhayashi/hotzone
- $:/plugins/felixhayashi/tiddlymap
- $:/plugins/felixhayashi/tiddlymap/config/sys/user
- $:/plugins/felixhayashi/tiddlymap/config/vis/user
- $:/plugins/felixhayashi/tiddlymap/graph/nodeTypes/tmap:central-topic
- $:/plugins/felixhayashi/tiddlymap/graph/nodeTypes/tmap:neighbour
- $:/plugins/felixhayashi/tiddlymap/graph/views/Default/filter/edges
- $:/plugins/felixhayashi/tiddlymap/graph/views/Default/filter/nodes
- $:/plugins/felixhayashi/tiddlymap/graph/views/Default/map
- $:/plugins/felixhayashi/tiddlymap/graph/views/Live View
- $:/plugins/felixhayashi/tiddlymap/graph/views/Live View/filter/edges
- $:/plugins/felixhayashi/tiddlymap/hook/liveTab
- $:/plugins/felixhayashi/tiddlymap/misc/defaultViewHolder
- $:/plugins/felixhayashi/tiddlymap/misc/meta
- $:/plugins/felixhayashi/topstoryview
- $:/plugins/felixhayashi/vis
- $:/plugins/kookma/trashbin
- $:/plugins/TheDiveO/FontAwesome
- $:/plugins/tiddlywiki/github-fork-ribbon
- $:/plugins/tiddlywiki/highlight
- $:/plugins/tiddlywiki/katex
- $:/plugins/tiddlywiki/menubar
- $:/plugins/tiddlywiki/tw2parser
- $:/SiteSubtitle
- $:/SiteTitle
- $:/state/add-plugin-info/$:/temp/ServerConnection/https://tiddlywiki.com/library/v5.3.5/index.html/$:/temp/RemoteAssetInfo/https://tiddlywiki.com/library/v5.3.5/index.html/$:/plugins/tiddlywiki/github-fork-ribbon
- $:/state/http-requests
- $:/state/plugin-info-1867135918-$:/plugins/tiddlywiki/github-fork-ribbon
- $:/state/plugin-info-1867135918-$:/plugins/tiddlywiki/github-fork-ribbon---2065956753
- $:/state/sidebar
- $:/state/tab--1963855381
- $:/state/tab-1163638994
- $:/state/tab-1749438307
- $:/state/tab/moresidebar-1850697562
- $:/state/tab/sidebar--595412856
- $:/status/RequireReloadDueToPluginChange
- $:/StoryList
- $:/tags/MenuBar
- $:/themes/tiddlywiki/snowwhite
- $:/themes/tiddlywiki/vanilla
- $:/themes/tiddlywiki/vanilla/options/sidebarlayout
- $:/trashbin/$:/_MyRibbon
- $:/trashbin/akka
- $:/trashbin/Creative Scala : summary
- $:/trashbin/Cross-platform GUI toolkits
- $:/trashbin/Dotty
- $:/trashbin/Eclipse vs others
- $:/trashbin/Functional Programming in Scala : summary
- $:/trashbin/howto Scala IDE for Eclipse
- $:/trashbin/howto Scala IDE for Eclipse 3.7 (Indigo)
- $:/trashbin/howto Scala IDE for Eclipse 4.2 (Juno)
- $:/trashbin/howto Scala IDE for Eclipse 4.3 (Kepler)
- $:/trashbin/howto Scala IDE for Eclipse 4.4 (Luna)
- $:/trashbin/m2eclipse-subversive vs m2eclipse-subclipse
- $:/trashbin/Modules in Scala
- $:/trashbin/path-dependent type
- $:/trashbin/Pro JavaFX 2 : summary
- $:/trashbin/Programming in Scala 2nd : summary
- $:/trashbin/Programming in Scala 3rd : summary
- $:/trashbin/sbt vs maven
- $:/trashbin/Scala
- $:/trashbin/Scala & XML
- $:/trashbin/Scala Error handling
- $:/trashbin/Scala IDE for Eclipse problems
- $:/trashbin/Scala in action : summary
- $:/trashbin/Scala in Depth : summary
- $:/trashbin/Scala notes
- $:/trashbin/Scala problems
- $:/trashbin/Scala REPL
- $:/trashbin/Scala way
- $:/trashbin/Scala with Cats : summary
- $:/trashbin/ScalaTest vs Specs2
- $:/view
- 15-819 Homotopy Type Theory
- A bit of history
- About
- Advances in Deep Learning for Mathematical Theorem Proving
- Algebraic Data Types
- Algorithms
- Algorithms for Herbrand sequent extraction
- Andrews–Curtis conjecture
- bench scala-atp
- Bison grammar of First Order Logic
- Building blocks
- Category Theory
- Certified Programming with Dependent Types
- Content Management System
- Coq & Maching Learning
- Coq vs others
- Cours Vidéo de Coq par Yves Bertot
- Curry-Howard isomorphism
- Deep Learning with Python
- DefaultTiddlers
- Dependent type
- Do mathematicians need univalence ?
- Etat De L'Art
- First-class resources
- Formal math wiki
- FRP discovery
- FRP glitch
- FRP semantics
- Functional and Reactive Domain Modeling : summary
- Functional GUI
- Functional Reactive Programming
- Functional Reactive Programming : summary
- GAPT and TPTP notation
- gapt problems
- GAPT simple format source code analysis
- GAPT source code analysis
- General purpose programming language as proof system
- Gentzen systems explained
- Getting started
- Glossary
- Gödel, Escher, Bach - Les brins d'une guirlande éternelle : summary
- Grammar combinators
- Group Theory
- Handbook of practical logic and automated reasoning : summary
- highlight-language-scala.js
- highlight-language-sml.js
- highlight.js demo
- Homotopy Type Theory
- Homotopy Type Theory (The HoTT Book) : summary
- howto atp-haskell
- howto gapt
- howto haskell-atp
- howto Maude
- howto MELIA
- howto ocaml-atp
- howto Princess
- howto Prover9
- howto PyRes
- howto Vampire
- Idris
- Inductive Theorem Proving
- Interval Temporal Logic
- Introduction à la logique : Théorie de la démonstration
- Introduction Video
- KaTeX plugin demo
- Lambda calculus
- Language, proof, and logic : summary
- lean
- Les Métamorphoses du calcul
- Library
- Limitations of FRP
- MELIA source code analysis
- ML for the Working Programmer : summary
- Navigating this site
- no tags
- ocaml-atp vs haskell-atp syntax
- ocaml-atp vs haskell-atp vs scala-atp files
- Organizations
- Packrat Efficiency
- Packrat Parsers
- Parser combinators vs others
- Parsing
- Parsing Expression Grammar
- path-dependent type
- Pretty Printing
- Programming Rust Fast, Safe Systems Development
- Project Status Report
- Proof language
- Proof languages
- Property testing
- Quotes worth remembering
- Reading roadmap
- Reverse Mathematics
- Roadmap
- Rust & parser
- Rust tools
- Rust vs Scala vs others
- SAT
- Satisfiability Modulo Theories (SMT)
- Scala blocking thread
- Scala Parser Combinator
- Scaladoc & Co
- SiteSubtitle
- SiteTitle
- SMT vs. ATP
- SOFTWARE FOUNDATION Volume 1: Logical Foundations
- StyleSheet
- Subtyping
- Syntax of First-Order Logic
- Syntax of Ivy
- Syntax of Propositional Logic
- Syntax of Prover9
- SystemSettings
- TableOfContents
- Tags
- Techniques
- The CADE ATP System Competition
- The Future of Mathematics ?
- The POPLMark Challenge
- The Rust Programming Language : summary
- TiddlyWiki problems
- Tools
- TPTP Editor
- TPTP language
- TPTP parser
- True FRP
- type system
- Type theory based theorem prover
- Type Theory for the Working Rustacean
- Type-Driven development with Idris : summary
- Types and Programming Languages : summary
- Untitled
- Uses
- Who's who
- Why are most UI frameworks single threaded ?