Skip to content

@adelfa-prover adelfa-prover

Change the repository type filter

All

    Repositories list

    3 repositories

    • adelfa-vscode

      Public
      VSCode Extension for Adelfa
      TypeScript
      •
      MIT License
      •2•0•0•0•Updated Apr 13, 2026Apr 13, 2026

    • adelfa

      Public
      An interactive proof assistant for reasoning about specifications written in the Edinburgh Logical Framework
      OCaml
      •
      GNU General Public License v3.0
      •0•3•1•0•Updated Mar 20, 2026Mar 20, 2026

    • adelfa-docs

      Public
      Documentation for the Adelfa proof assistant
      MDX
      •
      MIT License
      •0•0•0•0•Updated Mar 4, 2026Mar 4, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.