Dataset - CKAN

A Constructive Proof of Dependent Choice, Compatible with Classical Logic

1ère version rédigée en janvier 2011. Nombreuses corrections, et raffinements, appliqués après coup.
- HTML
Pattern-based constraint satisfaction and logic puzzles

International audience
- HTML

You can also access this registry using the API (see API Docs).