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
621 stars 140 forks source link

Add chunks_def to rich_listTheory #1182

Closed xrchz closed 8 months ago

mn200 commented 8 months ago

Nice!