TotalVerb/FirstOrderLogic.jl TotalVerb/FirstOrderLogic.jl

Algebra
  • Stars
    star
    3
  • Rank 3,849,694 (Top 78 %)
  • Language
    Julia
  • License
    Other
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
TotalVerb/FirstOrderLogic.jl
github

TotalVerb

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

FirstOrderLogic

Build Status

This package aims to include functions that manipulate mathematical logic.

More Repositories

1

EnglishText.jl

Utilities for English-language quirks in Julia
Julia
16
star
2

SExpressions.jl

Assorted s-expression utilities for Julia
Julia
15
star
3

PythonSyntax.jl

A pythonic syntax for Julia (for fun, not for serious use)
Julia
13
star
4

pymaze-js

A port of Pymaze (SJAM CS Club 2015 project) to Javascript
JavaScript
3
star
5

MathEnrichment

Olympic Math curriculum for various grades
Jupyter Notebook
2
star
6

findr-android

Find local events you're qualified for
Java
2
star
7

SchemeSyntax.jl

A scheme-like alternative syntax for Julia
Julia
2
star
8

Remarkable.jl

Static site generator framework for Julia
Julia
2
star
9

fbmarkov

Python
1
star
10

AlgebraicTraits.jl

Traits from an abstract algebra perspective
Julia
1
star