Database

Mathlib.Tactic.StacksAttribute

URI: https://scilib.ai/kg/mathlib#Mathlib.StacksTag.Database

Lean4

/-- Web database users of projects tags -/
inductive Database where
  | kerodon
  | stacks
  deriving BEq, Hashable

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru