Blogs

Subscribe via atom

August 2024

• Streams, Calculational Proofs and Dafny

May 2024

• A Formalization in Lean

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