Search Results - Baanen, Anne

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Use and Abuse of Instance Parameters in the Lean Mathematical Library: Use and Abuse of Instance Parameters

    Use and Abuse of Instance Parameters in the Lean Mathematical Library: Use and Abuse of Instance Parameters by Baanen, Anne

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Combining predicate transformer semantics for effects: a case study in parsing regular languages

    Combining predicate transformer semantics for effects: a case study in parsing regular languages by Baanen, Anne, Swierstra, Wouter

    Get full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:
  3. 3
    A Formalization of Dedekind Domains and Class Groups of Global Fields

    A Formalization of Dedekind Domains and Class Groups of Global Fields by Baanen, Anne, Dahmen, Sander R., Narayanan, Ashvni, Nuccio Mortarino Majno di Capriglio, Filippo A. E.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Use and abuse of instance parameters in the Lean mathematical library

    Use and abuse of instance parameters in the Lean mathematical library by Baanen, Anne

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Combining predicate transformer semantics for effects: a case study in parsing regular languages

    Combining predicate transformer semantics for effects: a case study in parsing regular languages by Baanen, Anne, Swierstra, Wouter

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

    Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves by Baanen, Anne, Best, Alex J, Coppola, Nirvana, Dahmen, Sander R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    A formalization of Dedekind domains and class groups of global fields

    A formalization of Dedekind domains and class groups of global fields by Baanen, Anne, Dahmen, Sander R, Narayanan, Ashvni, Nuccio, Filippo A E

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: