Modules

• Folly.Formula
• Folly.Resolution
• Folly.Theorem
• Folly.Unification
• Folly.Utils