News
VDFP Nachrichten | Verband Deutscher …
vdfp.de
WebFür 50-jährige Mitgliedschaft bedanken wir uns bei Klaus Mattis aus Eschborn, Peter …
Zulip Chat Archive
leanprover-community.github.io
The homepage for the mathlib library for the Lean theorem prover. Contains an archive of the Zulip chat for discussions about Lean and mathlib.
sortiert nach Relevanz / Datum