Connor Burns

icon location Physics and computer science student at Colorado School of Mines

Results 1 repositories owned by Connor Burns

Deductive.jl

19
Stars
2
Forks
Watchers

A package for expressing and automatically proving logical statements symbolically in Julia

verified publisher icon ctrekker