ctrekker / Deductive.jl / 1726362516

Builds Branch Commit Type Ran Committer Via Coverage
1726362516 main Some docs on assertion proofs push Connor Burns github pending completion   set done
1726316418 main Full statement set matching algorithm push Connor Burns github pending completion   set done
1713984638 main Generic set matching with expressions (almost) push Connor Burns github pending completion   set done
1705493200 main Bump version push Connor Burns github pending completion   set done
1705477285 main With code coverage push Connor Burns github pending completion   set done