#softwarefoundations - Twitter Hashtag

3 days ago

Software Foundations will be translated to Lean! 😎 Available around fall. https://t.co/dG3byswaDR Here’s the Zulip announcement by Benjamin C. Pierce: https://t.co/0MSmcJsCXI #LeanLang #LeanProver #SoftwareFoundations

1

130

35

72

8K

Holberton by Coderise @HolbertonCR

about 4 years ago

😎 ¡Programamos mucho y nos divertimos mucho! Desde #Medellín celebrando con nuestros Holbies el inicio del segundo trimestre de #SoftwareFoundations 👕💙

HolbertonCR's tweet photo. 😎 ¡Programamos mucho y nos divertimos mucho!

Desde #Medellín celebrando con nuestros Holbies el inicio del segundo trimestre de #SoftwareFoundations 👕💙 https://t.co/Clwp76kPPS

1

7

0

Deb Bryant @debbryant

over 4 years ago

Always putting timely questions on the table for reflection and debate. #opensource #softwarefoundations

0

9

3

0

Yoshihiro Imai @yoshihiro503

almost 8 years ago

software foundationsスゲー進化している #softwarefoundations #proofsummit2018

0

4

1

0

Yoshihiro Imai @yoshihiro503

almost 8 years ago

Software FoundationsではRecord型でty型の構造が多分木になるけど自動生成される_indが弱すぎる問題に対するそのほかの解決策について https://t.co/qUdkX2Sqlh #coq #softwarefoundations #nestedInductiveTypes #入れ子になった帰納型

0

6

1

0