Why3 Releases

• 1.6.0
• 1.5.1
• 1.5.0
• 1.4.1
• 1.4.0
• 1.3.3
• 1.3.2
• 1.3.1
• 1.3.0
• 1.2.1
• 1.2.0
• 1.1.1
• 1.1.0
• 1.0.0
• 0.88.3
• 0.88.2
• 0.88.1
• 0.88.0
• 0.87.3
• 0.87.2
• 0.87.1
• 0.87.0
• 0.86.3
• 0.86.2
• 0.86.1
• 0.86
• 0.85
• 0.84
• 0.83
• 0.82
• 0.81
• 0.80
• 0.73
• 0.72
• 0.71
• 0.70
• 0.64
• 0.63