id,summary,reporter,owner,description,type,status,priority,milestone,component,resolution,keywords,cc,merged,author,reviewer,upstream,work_issues,branch,commit,dependencies,stopgaps
21981,Assuming a variable is prime,pelegm,,"Can we somehow assume an integer variable is prime? Something like `assume(p, 'prime')` and then `bool(p>1)` will return True?",enhancement,new,major,sage-7.5,symbolics,,"prime,assume",,,,,N/A,,,,,