Skip to content
Snippets Groups Projects
Select Git revision
  • 977dc2df5939c7960801548a0b82544dc1625fe6
  • master default protected
  • sortingNoKleene
  • sac2025
  • concreteBigraphs
  • vanillaCoq
  • sefmwithderivedoperators
  • sefm24
  • ioToProp
  • portOut
  • allParameters
11 results

pfe

  • Clone with SSH
  • Clone with HTTPS
  • PHD

    Playground for my PhD, mostly bigraphs in Coq

    To compile:

    First create CoqMakefile:

    coq_makefile -f _CoqProject -o CoqMakefile

    Then compile with

    make -f CoqMakefile

    To generate LaTeX documentation:

    coqdoc -g -toc --latex --lib-subtitles src/AbstractBigraphs.v

    To clean:

    Run

    ./coqclean.sh

    If necessary:

    chmod +x coqclean.sh