Contents

# Contents

## Idea

A formal language for specifying logical theories. Gallina is used in the proof-assistent system Coq.

## References

Last revised on August 8, 2018 at 09:24:56. See the history of this page for a list of all contributions to it.