enable lax policy for axiom generation

Status: Beta

Brought to you by: lgcowell, svarneticist

#2 enable lax policy for axiom generation

Status: open

Owner: M Levin

Labels: None

Updated: 2015-01-06

Created: 2015-01-06

Creator: M Levin

Private: No

Discussion

Log in to post a comment.