formalism

Oct
07

Indexing Arrays

Lately I have been working on formalizing APL. One of the core problems related to the formalization of APL is
4 min read
Jun
03

Playing with Isar

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