GitHub topics: mathematical-foundations-of-informatics
20Attila03/N1SOF-DIT023
Tim's stuff for the Mathematical Foundations for Software Engineering course from the Univeristy of Gothenburg's Software Engineering and Management Bsc. programme
Language: TeX - Size: 941 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
strake/category.agda
Formulation of category theory in Agda
Language: Agda - Size: 12.7 KB - Last synced at: 2 months ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
alenapoliakova/network-model-algorithm
The algorithm of the network model for solving the problem of timing for creating products
Language: Python - Size: 129 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
