Mathematics
Problems, proofs and formal verification.
0 entries, in 2 sections
MA.1 Problems
Specific problems and progress on them.
No entries in this section yet.
MA.2 Formal proof
Proof assistants and machine-checked mathematics.
No entries in this section yet.