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

Repositories

Showing 2 of 2 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 Dec 10, 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 Dec 5, 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…