Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for polymorphism prelude
polymorphism
x
prelude
x
2 search results found
Cis 194 Spring 2017
⭐
13
A modified version of the University of Pennsylvania's CIS194
Trustee
⭐
11
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
Related Searches
Haskell Prelude (106)
Emacs Prelude (87)
Emacs Lisp Prelude (83)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.