https://github.com/schonfinkel/proof-plaza

Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.
https://github.com/schonfinkel/proof-plaza

coq

Last synced: 25 days ago
JSON representation

Some experiments with the 'Coq Proof Assistant'. Includes notes about the Software Foundations series.

• Host: GitHub
• URL: https://github.com/schonfinkel/proof-plaza
• Owner: schonfinkel
• License: mit
• Created: 2017-12-12T02:25:33.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2019-10-07T17:40:30.000Z (over 5 years ago)
• Last Synced: 2024-12-17T20:39:01.632Z (30 days ago)
• Topics: coq
• Language: Coq
• Homepage:
• Size: 213 KB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Coq-Software Foudations

[![Build Status](https://travis-ci.org/mtrsk/Proof-Plaza.svg?branch=master)](https://travis-ci.org/mtrsk/Proof-Plaza)

Some studies of the Coq Proof Assistant. Includes some notes about the Software Foundations series.

## Dependencies

* Coq 8.8

## Books

* [Logical Foundations](./LF)

* [QuickChick: Property-Based Testing in Coq](./QC)

## Running

* Using `direnv` with a `nix` hook:

```

$ direnv allow

```

* Using pure `nix`:

```

$ nix-shell

```