Research

formal verification thumbnailformal verification thumbnail
Upstream posts
Rapid introduction to modal logic, part 2Rapid introduction to modal logic, part 2
Incomplete and Utter Introduction to Modal Logic, Part 1Incomplete and Utter Introduction to Modal Logic, Part 1
Insane Properties of the Closed Long Ray and the Long LineInsane Properties of the Closed Long Ray and the Long Line
Parsing Typed eDSLParsing Typed eDSL
The Worst Random Number GeneratorThe Worst Random Number Generator
The Problem of Intermediate Recursively Enumerable Turing DegreesThe Problem of Intermediate Recursively Enumerable Turing Degrees
Editor’s pick
Challenge of modeling large quantum computersChallenge of modeling large quantum computers
Upstream posts
Trees that MeltTrees that Melt
Haskell logoHaskell logo
Agda: Playing With NegationAgda: Playing With Negation
Agda in a nutshellAgda in a nutshell
Agda: Logical BackgroundAgda: Logical Background