https://github.com/satyendrabanjare/itp

Exploring Adam Chlipala's Interactive Computer Theory Proving.
https://github.com/satyendrabanjare/itp

Last synced: 3 months ago
JSON representation

Exploring Adam Chlipala's Interactive Computer Theory Proving.

• Host: GitHub
• URL: https://github.com/satyendrabanjare/itp
• Owner: SatyendraBanjare
• Created: 2018-12-19T12:01:05.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-03-12T04:23:44.000Z (about 6 years ago)
• Last Synced: 2024-12-30T20:15:42.092Z (5 months ago)
• Language: Coq
• Homepage: http://adam.chlipala.net/itp/
• Size: 1020 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# ITP-Interative Theorem Proving

Exploring Adam Chlipala's Interactive Computer Theory Proving. 

This repository contains the supplied project files and lectures in the course and my personal made notes that can be found in `/notes` directory. 

My attempt at solving 

the given homework can be found at `/homework` directory.