Skip to content

Pull requests: starkware-libs/stone-prover

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

docs: Update link to CRYPTOGAMS license
#37 opened Sep 22, 2024 by Oemerbeck Loading…
Enable building on ARM and MacOS
#36 opened Aug 16, 2024 by Groxan Loading…
Pin sympy to 1.12.1
#35 opened Aug 16, 2024 by steebchen Loading…
Fix spelling issues
#32 opened Jul 31, 2024 by nnsW3 Loading…
Specify the SymPy version in the Dockerfile
#31 opened Jul 18, 2024 by jaehunkim Loading…
ProTip! Exclude everything labeled bug with -label:bug.