Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
4 links
Tomer Libal
Researcher
PaperAdvanced Proof Viewing in ProofToolAuthorship / preprint / 2014PaperCertification of Prefixed Tableau Proofs for Modal LogicAuthorship / preprint / 2016PaperPROOFTOOL: a GUI for the GAPT FrameworkAuthorship / preprint / 2013PaperCoalescing: Syntactic Abstraction for Reasoning in First-Order Modal LogicsAuthorship / preprint / 2014