All-in-one mailing list of automath project. End-user support and discussion, developement and sending patches, and project announcements.
If you want to send patches, see git-send-email.io.
No one has posted to this list yet.