Lean <Programm> ^Schlagwort ^{Softwareprodukt}

Open Source - Beweisassistent und zugehörige Programmiersprache

URI	https://d-nb.info/gnd/1292701188
Entitätstyp	Softwareprodukt
GND-Nummer	1292701188
GND-Sachgruppe	Informatikprodukte (Hardware- und Softwareprodukte) \| Mathematik
Oberbegriff instantiell	Programm \| Programmiersprache \| Open Source \| Beweisassistent
Siehe auch	Deutsche Nationalbibliothek (DNB)

Datenquelle: DNB Linked-Data-Service (RDF/XML, Turtle) | CC0

Lean <Programm> Schlagwort Softwareprodukt Open Source - Beweisassistent und zugehörige Programmiersprache