Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lambda calculus theorem prover
lambda-calculus
x
theorem-prover
x
3 search results found
Kind
⭐
3,420
A next-gen functional language
Curryhoward
⭐
232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Lsts
⭐
96
A proof assistant that is also a programming language.
Related Searches
Haskell Lambda Calculus (136)
Functional Programming Lambda Calculus (58)
Types Lambda Calculus (52)
Rust Lambda Calculus (21)
Lambda Calculus Type Theory (19)
Scala Lambda Calculus (15)
Lambda Calculus Dependent Types (11)
First Order Logic Theorem Prover (9)
Dependent Types Theorem Prover (7)
Proof Assistant Theorem Prover (6)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.