Tags

Tags are free keywords, one index page, no page per tag. The blog's three subjects — formal verification, mathematics, tooling — are categories instead, and each of those has its own page under Categories.

Coq

• Diaconescu's Theorem

GAP

• Overalgebras

SAT

• 3-SAT and Partition Lattices

UACalc

• Overalgebras

axiom of choice

• Diaconescu's Theorem

complexity

• 3-SAT and Partition Lattices

congruence lattices

• A Problem of Pálfy and Saxl
• IEProps
• Isotopy
• Overalgebras

constructive mathematics

• Diaconescu's Theorem

finite groups

• GroupSound
• IEProps

harmonic analysis

• GroupSound

isotopy

• Isotopy

lattice theory

• 3-SAT and Partition Lattices
• Congruences of Partial Algebras

open problems

• A Problem of Pálfy and Saxl

signal processing

• GroupSound

universal algebra

• A Problem of Pálfy and Saxl
• IEProps
• Isotopy
• Overalgebras
• Congruences of Partial Algebras