What's new? | Help | Directory | Sign in
Google
flyspeck
The Flyspeck Project
  
  
  
  
    
New Issue | Search
for
| Advanced Search | Search Tips
List | Grid
   
  ID Type Status Priority Milestone Owner   Summary + Labels ...
  1 Defect Accepted Medium ---- TCHales   kep_ineq_bis.ml false inequalities reported by Sean McLaughlin  
  2 Defect Accepted High ---- TCHales   kep_ineq_bis.ml interval arithmetic proofs