Blog Archive

• Sep 30, 2022

  Omnisemantics in a nutshell

• Sep 14, 2018

  Ltac: Where did my idtac debug output go?

• Sep 12, 2018

  Default inlinings of Coq Extraction

• Sep 7, 2018

  A quick hack to ask any SMT solver if my Coq goal is true

• Sep 6, 2018

  Coq's Search command and other tricks

• Sep 4, 2018

  A non-technical reminder to my future self

• Aug 31, 2018

  Git: Fast-forwarding a branch without checking it out

• Aug 24, 2018

  Site Under Construction