search

HOL-Theorem-Prover / HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
https://hol-theorem-prover.org
Other
630 stars 142 forks source link

Add proofs about clock for fun-op-sem/imp #1310

Closed adamstucci closed 1 month ago

mn200 commented 2 months ago

Can you keep your lines under 80 columns please?

mn200 commented 1 month ago

Thanks!