Mechanization
With Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, and Akshay Venkatesh we are organizing a workshop on Mechanization and Mathematical Research, from September 15 to September 19. Deadline for applications to participate is June 20.
With Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, and Akshay Venkatesh we are organizing a workshop on Mechanization and Mathematical Research, from September 15 to September 19. Deadline for applications to participate is June 20.