This toolxbox is intended to fit models of memory and cognition using signal detection theory based on ratings (i.e., confidence-based response) data. There are three general classes of models ...

Coq'Art is the familiar name for the first book on the Coq proof assistant and its underlying theory, the Calculus of Inductive Constructions. This project contains the Coq sources of all examples and ...