Skip to content
GitLab
  • Explore
  • Sign in
  • IRMAIRMA
  • Github mirrors
  • irmago
  • Repository
  • irmago
  • manager.go
Find file Blame History Permalink
  • Sietse Ringers's avatar
    Use new gabi.ProofBuilderList type · 67f14955
    Sietse Ringers authored Sep 23, 2017
    67f14955