{"size": 305, "ext": "scrbl", "max_stars_repo_path": "scribblings/k.scrbl", "max_stars_repo_name": "CYBAI/k", "max_stars_repo_stars_event_min_datetime": null, "max_stars_repo_stars_event_max_datetime": null, "max_issues_repo_path": "scribblings/k.scrbl", "max_issues_repo_name": "CYBAI/k", "max_issues_repo_issues_event_min_datetime": null, "max_issues_repo_issues_event_max_datetime": null, "max_forks_repo_path": "scribblings/k.scrbl", "max_forks_repo_name": "CYBAI/k", "max_forks_repo_forks_event_min_datetime": null, "max_forks_repo_forks_event_max_datetime": null}
{"max_stars_count": null, "max_issues_count": null, "max_forks_count": null, "avg_line_length": 23.4615384615, "max_line_length": 131, "alphanum_fraction": 0.7770491803}
#lang scribble/manual

@title{k}
@author{Lîm Tsú-thuàn/林子篆}

@defmodulelang[k]
@defmodulelang[k/base]

k is a theorem prover that works under racket ecosystem, wants to interact with normal racket program, still in active development.

@include-section["language.scrbl"]
@include-section["library.scrbl"]
