LINUX.ORG.RU

Информация о пользователе siegment

Регистрация

ID: 168561
Nick: siegment
Дата регистрации:
Последнее посещение:
Статус: новый пользователь
Избранные теги: agda, coq, dotnet, powershell, systemd, wsl, зависимые типы, математика, теория

https://github.com/Microsoft/dafny

https://coq.inria.fr/

https://idris-lang.org/

https://github.com/agda/agda/

https://leanprover.github.io/

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

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

https://github.com/QISKit

Универсальная платформа для всего этого:

https://github.com/systemd/systemd

Статистика

Первый комментарий:
Последний комментарий:
Число комментариев: 46

Сообщения пользователя