vrr/doc
2
0
Fork 0
mirror of https://github.com/bpmbpm/doc.git synced 2026-05-01 21:10:37 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
doc/math/readme.md
Dmitry e1573139de
Update readme.md
2025-10-28 16:10:26 +03:00

1.9 KiB
Raw Blame History

mathematics

programm

также

formalism

Isabelle

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

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