Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq reduction
coq
x
reduction
x
3 search results found
Lambda Calculus
⭐
51
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Monads
⭐
9
Coq code accompanying several articles on semantics of functional programming languages
Reduction Effects
⭐
6
A Coq plugin to add reduction side effects to some Coq reduction strategies [maintainers=@liyishuai,@JasonGross]
Related Searches
Python Reduction (464)
Jupyter Notebook Reduction (191)
Ocaml Coq (164)
Types Coq (81)
Haskell Coq (63)
Definition Coq (53)
Reduction Calculus (51)
Calculus Coq (50)
Coq Mathcomp (38)
Paper Coq (36)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.