Cheatsheet: add `wlog_tac` and use Discord instead of Slack

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

Cheatsheet: add `wlog_tac` and use Discord instead of Slack #1193

Closed hrutvik closed 7 months ago

mn200 commented 7 months ago

Thanks!