{"size": 480, "ext": "scrbl", "max_stars_repo_path": "cur-paper/main.scrbl", "max_stars_repo_name": "bluephoenix47/cic-redex", "max_stars_repo_stars_event_min_datetime": "2015-07-23T20:56:11.000Z", "max_stars_repo_stars_event_max_datetime": "2022-01-07T04:34:29.000Z", "max_issues_repo_path": "cur-paper/main.scrbl", "max_issues_repo_name": "bluephoenix47/cic-redex", "max_issues_repo_issues_event_min_datetime": "2015-09-09T22:57:20.000Z", "max_issues_repo_issues_event_max_datetime": "2021-04-19T20:55:34.000Z", "max_forks_repo_path": "cur-paper/main.scrbl", "max_forks_repo_name": "dmelcer9/cur", "max_forks_repo_forks_event_min_datetime": "2015-09-17T17:13:27.000Z", "max_forks_repo_forks_event_max_datetime": "2021-08-14T01:17:46.000Z"}
{"max_stars_count": 215, "max_issues_count": 125, "max_forks_count": 17, "avg_line_length": 25.2631578947, "max_line_length": 84, "alphanum_fraction": 0.78125}
#lang scribble/sigplan @preprint @nocopyright
@(require "defs.rkt" "bib.rkt")

@title{Growing a Proof Assistant}
@(authorinfo "William J. Bowman" "wjb@williamjbowman.com" "Northeastern University")

@include-abstract{abstract.scrbl}

@include-section{intro.scrbl}
@include-section{curnel.scrbl}
@include-section{cur.scrbl}
@include-section{syntax-sugar.scrbl}
@include-section{tactics.scrbl}
@include-section{olly.scrbl}

@include-section{related.scrbl}

@(generate-bibliography)
