LogoopenSUSE Build Service > Projects
Sign Up | Log In

Abstract types for logic programming
https://github.com/dkubb/axiom-types

Define types with optional constraints for use within axiom and other
libraries.

Source Files (show merged sources derived from linked package)

Filename Size Changed Actions

Comments for home:frispete:GitLab (0)