Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Linearone

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Stars
12
License
lgpl-2.1
Open Issues
5
Most Recent Commit
3 years ago
Programming Language
Prolog
Categories
Repo
Suggest An Alternative To LinearOne
Popular Theorem Proving Projects
Popular Latex Projects
Manim ⭐ 55,880
Animation engine for explanatory math videos
dependent packages 6total releases 9latest release April 13, 2022most recent commit 3 months agopypi manimgl} Downloads
Marktext ⭐ 43,252
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
total releases 1latest release January 19, 2022most recent commit 3 months ago
Katex ⭐ 17,588
Fast math typesetting for the web.
dependent packages 1,174total releases 75latest release October 02, 2023most recent commit a month agonpm katex} Downloads
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Prolog Logic Programming
Grammar Prolog
Latex Grammar
Latex Prolog
Logic Programming Swi Prolog
Theorem Proving First Order Logic
Prolog First Order Logic
Grammar Logic Programming
Grammar Swi Prolog
Linear Logic Proof Net

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Latex
Grammar
Prolog
Logic Programming
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.