Dear PG users and developers,
Hopefully many of you will know the CICM conference and have seen the CFP:
I'm the track chair for MKM (Mathematical Knowledge Management) this
year, I'm keen to see plenty of submissions for our track to put
together an interesting programme. If you've been using Proof General
(or even another tool) to manage large developments, maybe there is
something to write about?
The deadline for final submissions is Fri 8th March (abstracts ideally
by this Friday).
ProofGeneral mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.