Combining mathematical proofs, temporal logic of actions, and program implementation (essentially mission-critical system design and implementation).
This repository aims to document the process of modelling real-world problems through Mathematical Proofs, Temporal Logic of Actions, and implementing the generated specifications with various programming languages. The breadth and depth of the material have not been determined yet.
Inspiration for this project was found in Donald Knuth's 'Concrete Mathematics', Leslie Lamport's 'Specifying Systems', and my personal interests and experiences.
As of 2024-07-27, this project will likely leverage the following technologies and their respective dependencies
- LATEX
- TLA+
- Rust
- Mojo
- C
It is recommended that the reader has an adequate grasp of mathematics, computer science, and computer programming (more specific prerequisites will become available at a later date).