Cursor Directory

Logic (Prover9/Mace4)

0

Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.

Source