formalism

Oct

Indexing Arrays

Lately I have been working on formalizing APL. One of the core problems related to the formalization of APL is

Oct 7, 2012

4 min read

Jun

Handwritten versions: Pg. 1, Pg. 2, Pg. 3. Lately I have been playing with the Isabelle proof assistant, and I

Jun 3, 2012

2 min read