This
TiddlyWiki
contains the following tiddlers:
$:/_MyRibbon
$:/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/googleanalytics
$:/config/Plugins/Disabled/$:/plugins/tiddlywiki/katex
$:/config/RelinkOnRename
$:/config/WikiParserRules/Inline/wikilink
$:/core
$:/DefaultTiddlers
$:/fonts/FontAwesome
$:/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/tw2parser
$:/SiteSubtitle
$:/SiteTitle
$:/state/plugin-info--700587726-$:/plugins/tiddlywiki/highlight
$:/state/plugin-info--700587726-$:/plugins/tiddlywiki/highlight---1733759730
$:/state/tab-1749438307
$:/state/tab/sidebar--595412856
$:/status/RequireReloadDueToPluginChange
$:/StoryList
$:/themes/tiddlywiki/snowwhite
$:/themes/tiddlywiki/vanilla
$:/themes/tiddlywiki/vanilla/options/sidebarlayout
$:/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
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 ?