LINUX.ORG.RU

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

Регистрация

ID: 161443
Nick: Guest_1488
Дата регистрации:
Последнее посещение:
Статус:
Избранные теги: 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://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

Статистика

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

Раздел Число тем
Новости 1
Форум 1
Галерея 1

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