TLA Dataset Pipeline

This repo is a work in progress for scraping and transforming a TLA+ dataset.

Name		Name	Last commit message	Last commit date
Latest commit History 69 Commits
.dvc		.dvc
.github/workflows		.github/workflows
config		config
data_contracts/schemas		data_contracts/schemas
src/tladata		src/tladata
.dvcignore		.dvcignore
.env.example		.env.example
.gitignore		.gitignore
CITATION.cff		CITATION.cff
LICENSE		LICENSE
README.md		README.md
dvc.lock		dvc.lock
dvc.yaml		dvc.yaml
pyproject.toml		pyproject.toml

Provide feedback