LogoopenSUSE Build Service > Projects
Sign Up | Log In

Abstract types for logic programming

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:Ximi1970:Servers:Gitlab:latest (0)