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

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

Last synced: 5 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 (almost 12 years ago)
• Default Branch: master
• Last Pushed: 2014-09-17T13:31:54.000Z (almost 12 years ago)
• Last Synced: 2025-07-30T15:30:32.717Z (11 months ago)
• Language: Isabelle
• Size: 549 KB
• Stars: 0
• Watchers: 2
• 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.