aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/firstorder/ground_plugin.mlpack
blob: 65fb2e9a1de8d862543ac72e46df24a746359219 (plain)
1
2
3
4
5
6
7
Formula
Unify
Sequent
Rules
Instances
Ground
G_ground