Fmf Foundations Seminar

Autumn realizability 1:43:58
Autumn realizability FMF Foundations seminar 421 10 месяцев назад
A mini seminar on contextual categories 3:28:33
A mini seminar on contextual categories FMF Foundations seminar 63 2 года назад
Florian Rabe – MMT: A Foundation Independent Logical System 1:17:31
Florian Rabe – MMT: A Foundation Independent Logical System FMF Foundations seminar 173 2 года назад
David Ellerman : The Logical Theory of Canonicity 1:03:37
David Ellerman : The Logical Theory of Canonicity FMF Foundations seminar 78 2 года назад
SA’s prisons are 40% over capacity | Section 12 Initiative 0:39
SA’s prisons are 40% over capacity | Section 12 Initiative Free Market Foundation 381 4 месяца назад
Alex Simpson – Equality, Equivalence & Atomic Sheaves (part 2) 1:50:17
Alex Simpson – Equality, Equivalence & Atomic Sheaves (part 2) FMF Foundations seminar 28 2 года назад
Ohad Kammar – Frex: indexing modulo equations with free extensions 1:54:39
Ohad Kammar – Frex: indexing modulo equations with free extensions FMF Foundations seminar 127 2 года назад
Andrej Bauer: Instance reducibilities and Weihrauch degrees 1:40:17
Andrej Bauer: Instance reducibilities and Weihrauch degrees FMF Foundations seminar 48 2 года назад
Brigitte Pientka – Mechanizing Meta Theory in Beluga 1:25:17
Brigitte Pientka – Mechanizing Meta Theory in Beluga FMF Foundations seminar 189 2 года назад
William J . Bowman - Cur: Designing a less devious proof assistant 1:30:27
William J . Bowman - Cur: Designing a less devious proof assistant FMF Foundations seminar 332 2 года назад
Matej Petković: Agda in machine-learnable format 1:33:58
Matej Petković: Agda in machine-learnable format FMF Foundations seminar 141 1 год назад
Saying NO to race-based laws 0:09
Saying NO to race-based laws Free Market Foundation 1,279 1 год назад
Ljupčo Todorovski: Machine learning on graphs 1:46:47
Ljupčo Todorovski: Machine learning on graphs FMF Foundations seminar 87 1 год назад
Conor McBride – Epigram 2: Autopsy, Obituary, Apology 1:42:15
Conor McBride – Epigram 2: Autopsy, Obituary, Apology FMF Foundations seminar 892 2 года назад
Will NHI be the Eskom of healthcare? | Mike Settas (FMF) 6:41
Will NHI be the Eskom of healthcare? | Mike Settas (FMF) Free Market Foundation 4,945 1 год назад
Anders Mörtberg – Cubical Agda 1:09:09
Anders Mörtberg – Cubical Agda FMF Foundations seminar 512 2 года назад
The biggest issue with EWC 0:58
The biggest issue with EWC Free Market Foundation 1,241 5 месяцев назад
Alex Simpson: Equality, equivalence and atomic sheaves part 1 1:40:14
Alex Simpson: Equality, equivalence and atomic sheaves part 1 FMF Foundations seminar 104 2 года назад
Valery Isaev - Arend proof assistant 1:09:55
Valery Isaev - Arend proof assistant FMF Foundations seminar 779 2 года назад

Сейчас ищут