Gappa Releases

The Gappa Tool

• 1.4.2
• 1.4.1
• 1.4.0
• 1.3.5
• 1.3.4
• 1.3.3
• 1.3.2
• 1.3.1
• 1.3.0
• 1.2.2
• 1.2.1
• 1.2.0
• 1.1.2
• 1.1.1
• 1.1.0
• 1.0.0
• 0.18.0
• 0.17.1
• 0.17.0
• 0.16.6
• 0.16.5
• 0.16.4
• 0.16.3
• 0.16.2
• 0.16.1
• 0.16.0
• 0.15.1
• 0.15.0
• 0.14.1
• 0.14.0
• 0.13.0
• 0.12.3
• 0.12.2
• 0.12.1

Support Libraries for Coq

• 1.5.5
• 1.5.4
• 1.5.3
• 1.5.2
• 1.5.1
• 1.5.0
• 1.4.6
• 1.4.5
• 1.4.4
• 1.4.3
• 1.4.2
• 1.4.1
• 1.4.0
• 1.3.4
• 1.3.3
• 1.3.2
• 1.3.1
• 1.3.0
• 1.2.1
• 1.2.0
• 1.1.0
• 1.0.0
• 0.21.1
• 0.21.0
• 0.20.0
• 0.19.0
• 0.18.0
• 0.17.0
• 0.16.0
• 0.15.0
• 0.14.1
• 0.14
• 0.13