doc/math/readme.md

mathematics

• Эти пугающие производные, градиенты, матрицы Якоби и Гессе

programm

• Регулярная катастрофа и как её избежать. Подход к регулярным выражениям

также

• BPM/workflow/math
• Математика креативности

formalism

Isabelle

• wiki серьёзные разработки в области теории множеств проводились с использованием Isabelle/ZF.
• reddit "Математика в Lean" имеет схожую цель с твоей: https://github.com/leanprover-community/mathematics_in_lean.
  Я думаю, что темы компьютерных наук (такие как семантика языков программирования, см. книгу "Concrete Semantics") лучше подходят для введения,

Функциональный анализ

• wiki
• ifmo
• studfile Функциональный анализ – это разновидность анализа, предполагающая рассмотрение объекта как комплекса выполняемых им функций, а не как материально-вещественных структур. Например, электрическая лампа накаливания рассматривается как носитель функции "излучать свет", а не только как совокупность конструктивных элементов (колба, цоколь, нить накаливания и др.).
• math.hse.ru