Switzerland Institute of Mathematics Simion Stoilow / Coinductive library / Composition Pipeline / Isabelle’s Coinductive library / Institute of Information Security / /
IndustryTerm
machinery / stream processors / end products / /
Organization
Technische Universität München / Institute of Information Security / Romanian Academy / Switzerland Institute of Mathematics Simion Stoilow / /
Person
Agda / Matita / Jasmin Christian / Coq / Brian Huffman / /