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: 5 months ago - Pushed at: 5 months 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: 5 months ago - Pushed at: 5 months 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: almost 2 years ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 1