Package Usage: actions: avsm/setup-ocaml

Visual Studio Code extension for Coq

Size: 78.7 MB - Last synced: about 2 months ago - Pushed: 2 months ago

Archive for all Coq related OPAM packages organized in various repositories

Size: 12.1 MB - Last synced: about 2 months ago - Pushed: about 2 months ago

Size: 556 KB - Last synced: 2 days ago - Pushed: over 3 years ago

HOL-Light to Dedukti/Lambdapi translator

Size: 618 KB - Last synced: 2 days ago - Pushed: 2 months ago

Isabelle component generating Dedukti proofs

Size: 309 KB - Last synced: 2 days ago - Pushed: 7 months ago

Proof assistant based on the λΠ-calculus modulo rewriting

Size: 38.8 MB - Last synced: 2 days ago - Pushed: 7 days ago

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

Size: 272 KB - Last synced: 2 days ago - Pushed: about 3 years ago

First-order automated theorem prover based on the tableau method

Size: 8 MB - Last synced: 2 days ago - Pushed: 6 months ago

ecosyste.ms