Master-Thesis

This repository contains code that is referenced in my Master thesis. For the most part, it includes formal proofs that are checkable by proof assistants.

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
Metamath/dist_comm_reals		Metamath/dist_comm_reals
Rocq-Prover/Test		Rocq-Prover/Test
LICENSE		LICENSE
README.md		README.md

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

Master-Thesis

About

Uh oh!

Contributors

Uh oh!

Languages

Folders and files

Latest commit

History

Repository files navigation

Master-Thesis

About

Topics

Resources

License

Uh oh!

Stars

Watchers

Forks

Contributors

Uh oh!

Languages