Skip to content
This repository has been archived by the owner on Feb 15, 2024. It is now read-only.

Proposal for proof language #87

Draft
wants to merge 5 commits into
base: main
Choose a base branch
from
Draft

Proposal for proof language #87

wants to merge 5 commits into from

Commits on Jul 13, 2023

  1. proof-language.md: Document describing proposed proof language

    @nishantjr
    nishantjr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    4678746 View commit details
    Browse the repository at this point in the history

  2. Proof of concept for proof checker

    @nishantjr
    nishantjr committed Jul 13, 2023
    Configuration menu
    Copy the full SHA
    f212409 View commit details
    Browse the repository at this point in the history

Commits on Jul 14, 2023

  1. proof-language.md: Minor fixes

    @nishantjr
    nishantjr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    86d1b81 View commit details
    Browse the repository at this point in the history

  2. Add information regarding notation instantiation

    @nishantjr
    nishantjr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    4ed50a4 View commit details
    Browse the repository at this point in the history

  3. Flesh out sections about theories and composition a bit more.

    @nishantjr
    nishantjr committed Jul 14, 2023
    Configuration menu
    Copy the full SHA
    b8dbd75 View commit details
    Browse the repository at this point in the history