Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Theorem Proving Template

Template repo for theorem proving in Liquid Haskell
Stars
27
License
No license specified
Open Issues
1
Most Recent Commit
6 years ago
Programming Language
Haskell
Categories
Repo
Suggest An Alternative To theorem-proving-template
Popular Theorem Proving Projects
Popular Fusion Projects
Horizon ⭐ 6,798
Horizon is a realtime, open-source backend for JavaScript apps.
dependent packages 18total releases 24latest release August 25, 2016most recent commit 3 years agonpm @horizon/client} Downloads
Next ⭐ 4,509
🦍 A configurable component library for web built on React.
dependent packages 10,174total releases 498latest release December 07, 2023most recent commit 3 months agonpm @alifd/next} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Fusion
Theorem Proving
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.