LINUX.ORG.RU

Зависимые Типы


13

0

Всего сообщений: 22

См. также:

 , , ,

Синонимы:

 dependent types

Форум

2021

2020

2019

2018

2017

2015

2014

2013

2012

2009

Новости

2019

  • Coq 8.9 (51 комментарий)

2016

2014