Add a paragraph on Keccak to next-release

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

606 stars 132 forks source link

Add a paragraph on Keccak to next-release #1192

Closed xrchz closed 5 months ago

mn200 commented 5 months ago

Fantastic; thanks!