GitHub repository: scheinerman/AbstractLattices.jl
Primary language: Julia
Created: 2018-09-17T15:41:29Z
Description: Abstract lattice functions meet and join, with symbols \wedge and \vee