https://github.com/jcaesar/fixed-topos-header-space-analysis

https://github.com/jcaesar/fixed-topos-header-space-analysis

Last synced: 6 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/jcaesar/fixed-topos-header-space-analysis
• Owner: jcaesar
• Created: 2014-09-11T20:32:42.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2014-09-17T13:31:54.000Z (over 11 years ago)
• Last Synced: 2025-02-09T12:43:09.078Z (12 months ago)
• Language: Isabelle
• Size: 549 KB
• Stars: 0
• Watchers: 3
• Forks: 4
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Fixed topoS Header Space Analysis

This repository contains the accompanying files to my bachelor's thesis "Fixed Header Space Analysis".

All used repos have been added as submodules. You can try contacting me if they become unavailable.