XHTMLBoy's Website
You are on a website dedicated to the enthusiasts of (valid)
XHTML
, and of
beautiful mechanics
.
Back to index
java (3)
ocaml (2)
pseudo-sarcasm (2)
types (2)
blog (1)
effect (1)
existential (1)
gödel (1)
indexation (1)
interface (1)
preface (1)
proof (1)
sarcasm (1)
proof
1 entry
Implementing a minimalist mathematical statement prover with Java