https://github.com/bor0/budge
Budge - a programming language and a theorem prover
https://github.com/bor0/budge
programming-language theorem-prover
Last synced: 10 months ago
JSON representation
Budge - a programming language and a theorem prover
- Host: GitHub
- URL: https://github.com/bor0/budge
- Owner: bor0
- Created: 2022-05-17T10:32:35.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2023-01-26T18:00:47.000Z (almost 3 years ago)
- Last Synced: 2025-03-24T21:22:26.184Z (10 months ago)
- Topics: programming-language, theorem-prover
- Language: Jupyter Notebook
- Homepage:
- Size: 907 KB
- Stars: 11
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Budge
Budge is a programming language and a theorem prover. For the former, check the `pl` folder. For the latter, check the `tp` folder.
Paper on [arXiv](https://arxiv.org/abs/2205.07979), and the source code for the paper [here](./paper).
Boro Sitnikovski, 2022