Proof Assistants

General discussion for https://proofassistants.stackexchange.com

first message	2021-11-24
last message	53 days ago

join this room
view transcript