GitHub topics: theorm
nitrece/networks
Network analysis is the process of finding the voltages across, and the currents through, all network components.
Size: 1.97 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 0 - Forks: 0
iiithf/software-foundations
Software Foundations is a broad introduction to the mathematical underpinnings of reliable software.
Language: Coq - Size: 33.6 MB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 4 - Forks: 0
iiithf/discrete-mathematics-and-algorithms
Discrete mathematics is the study of discontinuous quantities, and associated algorithms.
Size: 77.3 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1