The Boston Project
Login
  • All
  • Breaking News
  • Good News
  • Entertainment
  • Local News
  • World News
  • Human Interest
  • Crisis & Emergency
  • Newsss
  • Politics
  • Technology
  • Business
  • Science
  • Health
  • Security
  • Education
  • Society
  • Environment
  • Infrastructure
  • Law
  • Front Page
» Technology » Permalink » Source
0

Turning Dafny Sets into Sequences

Accompanying slides & code: https://github.com/colimit-ai/turning-dafny-sets-into-sequences-talk
Comments
(0) Comments 0 💬
Avatar of Anonymous
Anonymous
2 hrs ago
Search
Say Something
Select the appropriate category for your post.
Add a link to share with the community.
Add a title to make your post stand out.
Share your thoughts with the community.

Trending Today

Quantum computers just simulated physics too complex for supercomputers
Score: 100 Posted by Mas983 5 mins ago
SoftBank to acquire DigitalBridge for $4bn in move to deepen ties to AI
Score: 10 Posted by Jperry 3 mins ago
SFI AND MCMASTER UNIVERSITY COLLABORATE TO ADVANCE CLIMATE SMART FORESTRY
Score: 10 Posted by Kathleen P 9 mins ago
Eurostar restarts in Channel tunnel with full service but risk of disruptions
Score: 1 Posted by Dolceking44 3 mins ago
Artificial neurons that behave like real brain cells
Score: 1 Posted by James 6 mins ago
About Contact Site Map