Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: program-proofs

pl3onasm/Programming-fundamentals

Imperative programming

Language: C - Size: 141 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 14 - Forks: 3

Related Keywords
c 1 correctness 1 dafny 1 exam-practice 1 exam-solutions 1 imperative-programming 1 program-proofs 1 programming-fundamentals 1 recursion 1 training-materials 1 university-of-groningen 1