Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with cicm

A curated list of projects in awesome lists tagged with cicm .

https://github.com/eric-wieser/lean-graded-rings

A formalization of graded rings in Lean, corresponding to a CICM 2022 submission

cicm formal-mathematics lean mathlib

Last synced: 05 Dec 2024

https://github.com/dginev/latexml-cicm-2014

LaTeXML paper for CICM 2014

cicm latexml publication

Last synced: 30 Nov 2024