Package Usage: actions: avsm/setup-ocaml

Visual Studio Code extension for Coq

Size: 78.7 MB - Last synced: 12 months ago - Pushed: about 1 year ago

Archive for all Coq related OPAM packages organized in various repositories

Size: 12.1 MB - Last synced: 12 months ago - Pushed: 12 months ago

Size: 556 KB - Last synced: 2 days ago - Pushed: about 4 years ago

HOL-Light to Dedukti/Lambdapi translator

Size: 712 KB - Last synced: 2 days ago - Pushed: 26 days ago

Isabelle component generating Dedukti proofs

Size: 377 KB - Last synced: 2 days ago - Pushed: 5 days ago

Proof assistant based on the λΠ-calculus modulo rewriting

Size: 39.3 MB - Last synced: 2 days ago - Pushed: 3 days ago

A tool to transform proofs containing Skolem symbol in first order logic.

Size: 272 KB - Last synced: 2 days ago - Pushed: almost 4 years ago

First-order automated theorem prover based on the tableau method

Size: 7.86 MB - Last synced: 2 days ago - Pushed: 2 months ago

ecosyste.ms