updated France 2 public sources
automated theorem proving

Current frame

Co-Founder and Engineer at Dust.