What we explore
How can a mathematical proof be expressed and verified, step by step?
This proposed topic brings together the formalization of mathematical definitions, statements, and proofs. Reading, discussion, and practical work would help build a collection of reusable formal material. Tools, project scope, and prerequisites will be specified when projects begin.
- Precise expression of mathematical concepts and theorems
- Breaking down and checking proof structures
- Collaborating on a growing body of formal mathematics
How we work
Choose a problem
Select a manageable piece of mathematics and identify its definitions, results, and dependencies.
Discuss and implement
Combine reading and group practice to express the argument as a checkable proof.
Document and share
Organize code, notes, and open questions to give future participants a clear starting point.
Projects
No research projects yet
Project introductions will include goals, participants, progress, and public outcomes.
Seminars & conferences
No announced events yet
Topics, dates, locations, and participation details will accompany each announcement.
Resources & outcomes
Planned materials: Proof code, Introductory notes, References.
No public resources yet
Materials will include authorship, usage guidance, and public links when they are ready.
How to take part
If you are interested in rigorous proofs, formal tools, or the relationship between mathematics and computation, reading and discussion can be a starting point. Specific requirements will appear in each project announcement.
Participation details to follow
Topic contacts and participation arrangements have not yet been announced.
Contact & participation