emsenn

Tag: formal-verification

1 item with this tag.

Jan 08, 2026
Petri Nets and Lean for Semioverse Workflows

Notes written in Obsidian, webpages generated by Quartz, website hosted by Neocities, supported by reader donations.