Blogs
January 2024
Verifying using temporal logic of action in Dafny
November 2023
Uncovering ghouls using Answer Set Programming
October 2023
Under the hood of Rosette
September 2023
Drawing hat tiling using Racket
August 2023
Stuttering Steps and Temporal Formulas in TLA+
July 2023
Encoding Hitori in Answer Set Programming
April 2023
Another verified program in Dafny
A bit on Quantile Sketching
July 2021
A verified program in Dafny
June 2021
Solving a mathemattic problem using Rosette