Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Primary navigation

Project

S

spock
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Jira
- Merge requests
- Model registry
- Incidents
- Value stream analytics
- Model experiments

Snippets Groups Projects

Admin message

Do not update/delete: Banner broadcast message test data

Admin message

Do not update/delete: Notification broadcast message test data

- username-removed-114025
spock

S

spock

Project ID: 379808

Copy SSH clone URLgit@staging.gitlab.com:alexmckenna/spock.git
Copy HTTPS clone URLhttps://staging.gitlab.com/alexmckenna/spock.git

- Clone with SSH
- Clone with HTTPS
Open in your IDE

The repository for this project is empty

Project information

Propositional and predicate logic for Haskell

haskell logic spock

Created on

July 30, 2015