Home Library Search History Settings Plans

Log in Create account

Home Library Search History Settings Plans

Log in Create account

Scalar actions in Lean's mathlib (short paper)

Authors: Eric Wieser - CICM Workshops 2021 cited by 0

Research-grade literature search and reference management for serious knowledge work.

Home Library Search History Settings Plans

Blog Authors Data sources For librarians API documentation Legal notice Terms of service Privacy policy

Scalar actions in Lean's mathlib (short paper) | Litlas