v1
Знакомство с формальными методами с помощью изучения системы интерактивных доказательств Coq
Identifier:nobleid.org/w1/20260515/2DDBB249
Type:Journal Article
0 views
Embeddable Badge
[](https://nobleid.org/work/w1/20260515/2DDBB249)
Bibliometric Analysis
Impact metrics, research fronts, co-authorship networks →
Authors & Claims