GitHub repository: JuliaReach/MathematicalPredicates.jl
Primary language: Julia
Created: 2019-09-09T07:44:35Z
Description: Predicate definitions in Julia