Blog - page 2 of 4

Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

I created a package to allow SATySFi to have floating boxes at the bottom of pages.

日曜日に， コンピュータを用いて正しい証明を行う定理証明支援系 Lean の勉強会にオンラインで参加してきました．

Color math expressions in LaTeX

諸事情により，Disjoint-set の和の数学的な定義が欲しかった．

Case splitting proof in LaTeX

Demystifying Actix Web Middleware

Parsing off-side ruled syntax with OCamlLex and Menhir

Parsing off-side ruled syntax

Pretty printing math formula