gleachkr/Vampire-Nix gleachkr/Vampire-Nix

  • Stars
    star
    1
  • Language OpenEdge ABL
  • Created 8 months ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gleachkr/Vampire-Nix
github

gleachkr

Reviews

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

Repository Details

A quick repackaging of a recent vampire version

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

razzle

HTML Presentation Primitives
JavaScript
1
star
6

OL-Slides

HTML
1
star
7

ProofML

MathML, but for proofs
JavaScript
1
star
8

wasm-lean

Nix template for a minimal lean-wasm project
Nix
1
star