d-flex flex-column width-full">

fix: Don't include syntax information in elaboration of math elements

34ae2d8

Select commit

Loading

Failed to load commit list.

There was an error while loading. Please reload this page.

Check for trailing newlines on: pull_request

Check text files have trailing newlines

All test modules imported on: pull_request

Check all test modules are imported

Consistent SubVerso dependencies on: pull_request

SubVerso version consistency

No #eval in source files on: pull_request

Check no #eval in source files

Continuous Integration on: pull_request

Build and test

Check toolchain file on: pull_request

Check for "nightly" in lean-toolchain

Check copyright header and Lean import size

check-prettier-formatting

Lint GitHub Actions workflows on: pull_request

Lint GitHub Actions workflows

Loading