1405-5546
1405-5546
S1405-55462022000200787
10.13053/cys-26-2-4238
Mexico
Mexico
00
06
2022
00
06
2022
26
2
787
799
[
2012
52
1
1
1-12
]
[
1998
60
1
1
161-208
]
[
1997
]
[
2004
30-65
]
[
2015
38
76-91
]
[
2000
43
4
4
274-89
]
[
The Coq Development Team
2020
]
[
2001
48
3
3
555-604
]
[
2014
67-86
]
[
1983
]
[
2019
29
3
3
255-87
]
[
2020
348
61-83
]
[
2007
Berlin, Heidelberg
]
[
2016
289-312
]
[
1996
3-15
]
[
2017
June 20-23, 2017
Reykjavik, Iceland
1-12
]
[
1996
1
1
1
11-60
]
[
1996
17-31
]
[
2020
354
107-27
]
[
2015
abs/1507.03678
]
[
2004
187-203
]
[
2004
3573
69-84
]
[
2004
Washington, DC, USA
286-95
]
[
2001
11
4
4
511-40
]
[
1995
1
March 29 - April 1, 1995
New Orleans, LA, USA
515-34
]
[
2008
20
1
1
353-79
]
[
2010
]
[
2011
40
1
1
95-101
]
[
2005
6
3
3
539-77
]