Hacker GitHub

← All repos

au-ts/cogent

View on GitHub ↗ ★ 185 Isabelle

Cogent Project

3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-05-07 · latest 2016-12-08

Mentions per year 3 mentions · busiest year 2016 (3)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 2
    Cogent: Code and Proof Co-Generation
    story by tluyben2 · 2016-05-07 · 0 comments