L

logic

🔧🔗https://github.com/xamidi/interactive-svg-graphs Exemplary interactive SVG animations to illustrate labelled directed graphs.

🔧🔗https://github.com/xamidi/pmGenerator

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.