🍈 Zettelkasten

❯

Termination

Sep 13, 20251 min read

software
proofs

A proof segment used in Program Correctness $precondition ⟹ termination$

Graph View

Backlinks

Program Correctness

Created with Quartz v4.4.0 © 2025

GitHub
Discord Community