Koen Claessen's repositories
propertybasedprogramming
Property-based Programming!
RealTesting
Testing using numerical methods
simpler-seq
An explanation and simplification of Data.Seq finger-trees
binary-relations-paper
How to deal with binary relations in first-order logic, the paper
CoinductiveConditionals
Coinductive Conditional Properties
grammarfeat
A wrapper around PGF to enable FEAT-style generation
hybridtesting
Hybrid Testing
NumberTheory
some numbertheory problems
WG2.8Puzzle2022
A programming puzzle for WG2.8