Formalising modern research mathematics in real time

Beyond the Liquid Tensor Experiment

The Future of Interactive Theorem Proving?

Half a year of the Liquid Tensor Experiment: Amazing developments

Formalising Mathematics: An Introduction

Proofs are not programs

A mathematical formalisation challenge by Peter Scholze

Division by zero in type theory: a FAQ

Division by zero in type theory: a FAQ

Mathematics in type theory

Where is the fashionable mathematics?

Does anyone “know” a proof of Fermat’s Last Theorem?