Comment Comment by broken_symlink There is a language called lean which is popular among mathematicians. Here is an article: https://www.quantamagazine.org/building-the-mathematical-lib...A more recent article as well: https://www.quantamagazine.org/lean-computer-program-confirm... parent broken_symlink 5 years ago
A more recent article as well: https://www.quantamagazine.org/lean-computer-program-confirm...