Информация о пользователе siegment
Nick:
siegment
ID: 168561
Дата регистрации:
Последнее посещение:
Статус: анонимный
Избранные теги:
agda, coq, dotnet, powershell, systemd, wsl, зависимые типы, математика, теорияID: 168561
Дата регистрации:
Последнее посещение:
Статус: анонимный
https://github.com/Microsoft/dafny
https://github.com/mortberg/cubicaltt
https://github.com/mortberg/yacctt
https://github.com/JetBrains/Arend
https://github.com/RedPRL/redtt
https://github.com/redprl/sml-redprl
HoTT:
https://github.com/HoTT/HoTT-Agda
https://github.com/gebner/hott3
Квантовая ересь:
https://docs.microsoft.com/en-us/quantum/quantum-qr-intro?view=qsharp-preview
https://github.com/StationQ/Liquid
Универсальная платформа для всего этого:
Статистика
Первый комментарий:Последний комментарий:
Число комментариев: 92