Skolemization#876

Open

Taissirbw wants to merge 26 commits intoDeducteam:masterfrom

Taissirbw:master

Commits on May 29, 2022

Tactique de skolémisation
taissir.marce
committed

Commits on May 30, 2022

Définition de P_tac_skolem dans handle.ml
taissir.marce
committed

Commits on Jun 2, 2022

Merge branch 'master' of https://gitlab.dsi.universite-paris-saclay.fr/taissir.marce/skolemisation
taissir.marce
committed

Commits on Jun 7, 2022

Correction axiome dans la tactique skolemisation
taissir.marce
committed
suppression tests/skolem.ml
taissir.marce
committed

Commits on Jul 4, 2022

nnf + prenexe
taissir.marce
committed

Commits on Jul 6, 2022

Commits on Jul 21, 2022

Merge branch 'master' into skolemAndFriends@v2
gabrielhdt
committed
Formatting with ocamlformat
gabrielhdt
committed
Expose prenex, nnf, tests
gabrielhdt
committed
Merge pull request #2 from gabrielhdt/skolemAndFriends@v2
Taissirbw
authored

Commits on Dec 30, 2022

Merge remote-tracking branch 'lp/master' into skolem
fblanqui
committed

Commits on Dec 31, 2022

Merge remote-tracking branch 'lp/master' into skolem
fblanqui
committed

Commits on Jan 2, 2023

Merge remote-tracking branch 'lp/master' into skolem
fblanqui
committed

Commits on Jan 3, 2023

update bnf grammar
fblanqui
committed

Commits on Jan 11, 2023

Merge remote-tracking branch 'lp/master' into skolem
fblanqui
committed