Repositories list

• ICG

  Public
  Incremental Code Generator

  0•0•0•0•Updated Jun 8, 2023Jun 8, 2023

• hata4

  Public
  Lean

  •0•0•0•0•Updated Jun 2, 2023Jun 2, 2023

• cubelang

  Public
  Agda

  •0•0•2•0•Updated Jan 22, 2023Jan 22, 2023

• hata

  Public
  Agda

  •0•0•4•0•Updated Jan 22, 2023Jan 22, 2023

• tinycube

  Public
  0•0•0•0•Updated Dec 4, 2022Dec 4, 2022