Zulip Chat Archive
Stream: new members
Topic: Requesting Feedback on an idea
Nicola Bernini (Dec 26 2025 at 11:22):
Hi,
I am curious if anybody has any feedback to share on this idea
https://github.com/NicolaBernini/Math-Proof-Wittgenstein-2026
Thanks
Notification Bot (Dec 26 2025 at 15:26):
This topic was moved here from #announce > Requesting Feedback on an idea by Johan Commelin.
Last updated: Feb 28 2026 at 14:05 UTC