gleachkr/wasm-lean gleachkr/wasm-lean

  • Stars
    star
    1
  • Language
    Nix
  • Created about 1 year ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gleachkr/wasm-lean
github

gleachkr

Reviews

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

Repository Details

Nix template for a minimal lean-wasm project

More Repositories

1

ProofJS

A UI Widget for Gentzen-style proof layouts
JavaScript
3
star
2

Carnap-Old

An interactive proof checker that runs in the browser
JavaScript
3
star
3

FiraLogic

A FOSS font for logical notation.
HTML
3
star
4

TermRewriting

Lean formalizations of results from Term Rewriting and All That
Lean
2
star
5

Vampire-Nix

A quick repackaging of a recent vampire version
OpenEdge ABL
1
star
6

razzle

HTML Presentation Primitives
JavaScript
1
star
7

OL-Slides

HTML
1
star
8

ProofML

MathML, but for proofs
JavaScript
1
star