Skip to content

rakust/proofs

Folders and files

NameName
Last commit message
Last commit date

Latest commit

42f7895 · Jan 22, 2021

History

2 Commits
Jan 22, 2021
Jan 22, 2021
Jan 22, 2021

Repository files navigation

Proofs

  • Software Foundations in Idris
  • Programming Language Foundations in Agda

About

Work hard towards there

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages