folproof

A first-order logic proof verifier

v0.1.1 URL: https://app.unpkg.com/folproof@0.1.1

Open Browse Files

fol folproof proof logic language first-order

ode-euler

Integrate a system of ODEs using the Euler method

v1.0.6 URL: https://unpkg.com/ode-euler@1.0.6/lib/index.js

Open Browse Files

scijs ode euler integration differential-equations calculus first-order

ode-midpoint

Integrate a system of ODEs using the Second Order Runge-Kutta (Midpoint) method

v1.0.6 URL: https://unpkg.com/ode-midpoint@1.0.6/lib/index.js

Open Browse Files

scijs ode midpoint runge-kutta integration differential-equations calculus first-order

@hyper.fun/fa-first-order

👉 https://hyper.fun/c/fa-first-order/1.3.0

v1.3.0 URL: https://unpkg.com/@hyper.fun/fa-first-order@1.3.0/esm/index.js

Open Browse Files

hyper-function-component hfc fa font-awesome first-order