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
3 links
Anne Baanen
Researcher
PaperUse and abuse of instance parameters in the Lean mathematical libraryAuthorship / preprint / 2022PaperA formalization of Dedekind domains and class groups of global fieldsAuthorship / preprint / 2022PaperCombining predicate transformer semantics for effects: a case study in parsing regular languagesAuthorship / preprint / 2020