Ecosyste.ms: Awesome

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

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by hhu-adam

A curated list of projects in awesome lists by hhu-adam .

https://github.com/hhu-adam/lean-i18n

i18n library for Lean.

i18n lean4

Last synced: 09 Aug 2024

https://github.com/hhu-adam/lean4monaco

Browser support for Lean using a monaco editor.

Last synced: 20 Aug 2024