Skip to content
@adelfa-prover

adelfa-prover

Popular repositories Loading

  1. adelfa adelfa Public

    An interactive proof assistant for reasoning about specifications written in the Edinburgh Logical Framework

    OCaml

  2. adelfa-docs adelfa-docs Public

    Documentation for the Adelfa proof assistant

    MDX

  3. adelfa-vscode adelfa-vscode Public

    VSCode Extension for Adelfa

    JavaScript

Repositories

Showing 3 of 3 repositories
  • adelfa-docs Public

    Documentation for the Adelfa proof assistant

    adelfa-prover/adelfa-docs’s past year of commit activity
    MDX 0 MIT 0 0 0 Updated Nov 29, 2024
  • adelfa Public

    An interactive proof assistant for reasoning about specifications written in the Edinburgh Logical Framework

    adelfa-prover/adelfa’s past year of commit activity
    OCaml 0 GPL-3.0 0 0 0 Updated Oct 24, 2024
  • adelfa-vscode Public

    VSCode Extension for Adelfa

    adelfa-prover/adelfa-vscode’s past year of commit activity
    JavaScript 0 0 0 0 Updated Oct 18, 2024

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…