-
Notifications
You must be signed in to change notification settings - Fork 1
/
meta.yml
49 lines (49 loc) · 1.5 KB
/
meta.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
fullname: Generic Environments
shortname: generic-environments
organization: coq-community
community: true
synopsis: Generic Environments is a library that provides an abstract data type for environments
description: >
Generic Environments is a library which provides an abstract data
type of environments, as a functor parameterized by a module
defining variables, and a function which builds environments for
such variables with any Type of type. Usual operations over
environments are defined, along with an extensive set of basic and
more advanced properties. Moreover, an implementation using lists
satisfying and all the required properties is provided.
authors:
- name: Emmanuel Polonowski
initial: true
email: [email protected]
maintainers:
- name: Mohammad-Ali A'RÂBI
nickname: aerabi
opam-file-maintainer: [email protected]
license:
fullname: MIT license
identifier: MIT
namespace: GenericEnvironments
publications:
- pub_title: Generic Environments in Coq
pub_url: https://hal.archives-ouvertes.fr/hal-00648397
keywords:
- name: generic environments
- name: typing
- name: type theory
categories:
- name: Mathematics/Logic/Type theory
action: true
supported_coq_versions:
- text: Coq 8.4 or higher
opam: '{(>= "8.4" & < "8.13~") | (= "dev")}'
tested_coq_opam_versions:
- version: "8.4"
- version: "8.5"
- version: "8.6"
- version: "8.7"
- version: "8.8"
- version: "8.9"
- version: "8.10"
- version: "8.11"
- version: "8.12"
- version: "dev"