#

formally-verified-code

Here is 1 public repository matching this topic...

FabioFGBuono / docxwatermarker

Docx Watermark tool

python formal-semantics theoretical-computer-science formal-languages hoare-logic operational-semantics automata-theory educational-project robust-test-suites formally-verified-code total-correctness specification-cross-reference-pattern axiomatic-semantics-examples

Updated Jun 11, 2026
Python

Add this topic to your repo

To associate your repository with the formally-verified-code topic, visit your repo's landing page and select "manage topics."