Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: formal-reasoning

lambduli/reading

My digital notepad about Programming Languages Theory, Type Systems, Logic, and Formal Reasoning.

Size: 122 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

Related Keywords
formal-reasoning 1 haskell 1 logic 1 programming-language-theory 1 programming-languages 1 proof-theory 1 type-systems 1 type-theory 1