kenmonks

Pinned Repositories

lde
The Lurch Deductive Engine (LDE)
Language:JavaScript0 0 00
lurch
Lurch is a math editor that can check your proofs!
Language:HTML0 0 03
math299
Language:HTML0 1 01
ToyProofs
Introduction to mathematical proofs software by Nathan Carter and Ken Monks of the Lurch project (lurchmath.org)
Language:JavaScript1 2 00
earley-parser
JavaScript implementation of the Earley parsing algorithm
Language:JavaScript1 3 13
lde
The Lurch Deductive Engine (LDE)
Language:JavaScript5 4 04
lurch-desktop-deprecated
This repo is deprecated. See the lurch repo instead.
Language:CoffeeScript1 3 03
lurchmath
2023 version of web UI
Language:JavaScript3 2 21
openmath-js
Implementation of (most of) the OpenMath Standard in JavaScript
Language:JavaScript4 3 62
weblurch
Update of Lurch math software (lurchmath.org) to a web-based UI
Language:CoffeeScript8 8 01

kenmonks's Repositories

kenmonks/ToyProofs
Introduction to mathematical proofs software by Nathan Carter and Ken Monks of the Lurch project (lurchmath.org)
Language:JavaScript1 2 00
kenmonks/299-site
Lurch is a math editor that can check your proofs!
Language:HTML03
kenmonks/lde
The Lurch Deductive Engine (LDE)
Language:JavaScript0 0 00
kenmonks/math299
Language:HTML0 1 01