Archive

Wed 27 March 2024

Proof by Reflection (and why not to use it)

Wed 12 July 2023

Type Safety using Logical Relations

Fri 17 March 2023

Formalizing Theory of Impartial Games: Sprague-Grundy Theorem

Wed 08 March 2023

Formalizing Theory of Impartial Games: Definitions

Tue 07 March 2023

Transitive Closure of a Well-Founded Relation

Wed 18 January 2023

Upper Bounds in Minimizing Constructions

Sat 07 January 2023

Koxia and Sequence (CF 1770F)

Mon 05 December 2022

Verifying Programming Contest Problems