{"size": 508, "ext": "scrbl", "max_stars_repo_path": "dissertation/proofs/proofs.scrbl", "max_stars_repo_name": "florence/esterel-calculus", "max_stars_repo_stars_event_min_datetime": "2020-04-16T10:58:53.000Z", "max_stars_repo_stars_event_max_datetime": "2020-07-01T03:59:31.000Z", "max_issues_repo_path": "dissertation/proofs/proofs.scrbl", "max_issues_repo_name": "florence/esterel-calculus", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "dissertation/proofs/proofs.scrbl", "max_forks_repo_name": "florence/esterel-calculus", "max_forks_repo_forks_event_min_datetime": "2020-04-15T20:02:49.000Z", "max_forks_repo_forks_event_max_datetime": "2020-04-15T20:02:49.000Z"}
{"max_stars_count": 3, "max_issues_count": null, "max_forks_count": 1, "avg_line_length": 29.8823529412, "max_line_length": 56, "alphanum_fraction": 0.6692913386}
#lang scribble/base

@(require "../lib/redex-rewrite.rkt"
          "../lib/util.rkt"
          "../lib/proofs.rkt"
          "../lib/proof-extras.rkt"
          (except-in scribble-abbrevs/latex definition))

@title[#:style paper-title-style]{Proofs}

@para[#:style 'pretitle]{@latex-lit["appendix"]}
@include-section["top.scrbl"]
@include-section["soundness.scrbl"]
@include-section["reduction.scrbl"]
@include-section["adequacy.scrbl"]
@include-section["can.scrbl"]
@include-section["circuit-props.scrbl"]