Repositories list

• codegen-examples

  Public
  Case studies of codegen (Coq Gallina to C translator)

  Coq

  •0•0•0•0•Updated Apr 13, 2020Apr 13, 2020

• peano-system.jp

  Public
  HTML

  •0•0•0•0•Updated Mar 3, 2020Mar 3, 2020

• peano-system.co.jp

  Public
  HTML

  •0•0•0•0•Updated Mar 3, 2020Mar 3, 2020

• nugitlecture

  Public
  名古屋大学での連携大学院授業用のレポジトリ

  TeX

  •2•1•0•3•Updated Nov 9, 2019Nov 9, 2019