armin.vrevic

Summary: Dalek Lite

Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite/

Summary: Simple Mondas #2

Repo: https://github.com/leanprover-community/lean4-samples/tree/main/SimpleMonads