Results for proofr

Found in 4 of 7 ecosystemsnpm 1–1 of 1 · 6 matches across other registries

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

npm matches

1 match · JavaScript

proofrv1.0.2

npm

A lightweight javascript form validation tool

Abandoned. Last published 8 years ago.

crates.io matches

1 match · Rust

vampire-proverv0.5.1

crates.io

Safe Rust bindings to the Vampire theorem prover for first-order logic

Maintained. Niche but maintained, actively maintained.

RubyGems matches

1 match · Ruby

College Project

Abandoned. Last published 8 years ago.