Sponsor of the Day:
Jerkmate
https://www.ciirc.cvut.cz/en/dokazovac-vampire-ovladl-vsech-osm-kategorii-svetoveho-sampionatu-v-automatickem-dokazovani/
The Vampire theorem prover dominates all eight categories at the world championship in automated...
theorem proverworld championshipvampiredominateseight
https://zulip.com/case-studies/lean/
Case study: Lean theorem prover community | Zulip
Zulip enables collaboration at scale: “We could never do what we’re doing on Slack or Discord.”
case studytheorem provercommunity zuliplean
https://zulip.com:443/case-studies/lean/
Case study: Lean theorem prover community | Zulip
Zulip enables collaboration at scale: “We could never do what we’re doing on Slack or Discord.”
case studytheorem provercommunity zuliplean