Agda Meetings

(redirected from Main.AgdaIntensiveMeetings)

See also the guide to organizing an Agda meeting.

Page last modified on September 12, 2025, at 02:45 pm
Powered by PmWiki