• Corpus ID: 251320185

Budge: a programming language and a theorem prover

@inproceedings{Sitnikovski2022BudgeAP,
  title={Budge: a programming language and a theorem prover},
  author={Boro Sitnikovski},
  year={2022}
}
We present a simple programming language based on G¨odel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we will present a theorem prover that allows expressing and working with formal systems. The theorem prover is simple as it relies merely on a substitution rule and set equality to derive theorems. Finally, we will represent the programming language in the theorem prover. We will show the syntax and semantics of both… 

References

SHOWING 1-3 OF 3 REFERENCES
Open Problems in Communication and Computation
Reilly Backus-Naur Form (BNF) Encyclopedia of Computer Science
  • 2003
Budge programming language and theorem prover (Python implementation)