#CSLib - Twitter Hashtag

about 1 month ago

If you are at #FloC26, come to the workshop on AI for Math and Computer Science (AIMACS) on July 25! * Tutorial by @KaiyuYang4 on AI-aided theorem-proving * Tutorial by Clark Barrett and Sorrachai Yingchareonthawornchai on #CSLib, the Lean computer science library * Talks by @lorisdanto, @gtsoukal, and Moa Johansson * A panel on how computer scientists should respond to AI progress, with @vardi, @ShriramKMurthi, Pavithra Prabhakar, and Armando Solar-Lezama. I will moderate. * Many very interesting posters. https://t.co/lAK5ZDWNlY https://t.co/y1oKw38l8h

0

23

5

1

4K

Evan Miyazono

@emiyazono

5 months ago

@SafeWithAtlas @miike reminded me that the GSAI summit was also a key catalyst for Lean's #cslib (https://t.co/A4lE4yz0Ts)!

0

2

0

1

127

Fabrizio Montesi ⬣ A➔B @famontesi

5 months ago

🚀 CSLib is Growing The Lean Computer Science Library (#CSLib) – a global effort to build reusable infrastructure for formal methods in AI-ready computer programming and research – is gaining momentum (>100 forks, >400 PRs, and nearly 500 stars on GitHub). @leanprover (1/2)

famontesi's tweet photo. 🚀 CSLib is Growing

The Lean Computer Science Library (#CSLib) – a global effort to build reusable infrastructure for formal methods in AI-ready computer programming and research – is gaining momentum (>100 forks, >400 PRs, and nearly 500 stars on GitHub).

@leanprover

(1/2) https://t.co/YE6gLCmwcN

1

52

7

19

3K

José A. Alonso @Jose_A_Alonso

7 months ago

Readings shared February 19, 2026. https://t.co/3EqlL45MQf #AI4Math #ATP #CSLib #CompSci #Dedukti #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Math #Mizar #RocqProver #Vampire

0

2

0

2

270

José A. Alonso @Jose_A_Alonso

7 months ago

Computer science as infrastructure: the spine of the Lean computer science library (CSLib). ~ Christopher Henson, Fabrizio Montesi. https://t.co/m9yoNoL7WZ #LeanProver #ITP #CSLib #CompSci

0

27

5

26

6K

José A. Alonso @Jose_A_Alonso

7 months ago

Hennessy-Milner logic in CSLib, the Lean computer science library. ~ Fabrizio Montesi, Marco Peressotti, Alexandre Rademaker. https://t.co/tnyPd9kICD #LeanProver #ITP #CSLib #CompSci

0

5

0

2

228

The Science Library @UPCSLibrary

over 2 years ago

ANNOUNCEMENT: Our Study Nook, First Floor: Circulation, and Reading Areas are open today and tomorrow, starting at 7:00 a.m. to 6:00 p.m. #CSLIB

0

3

0

167

The Science Library @UPCSLibrary

about 3 years ago

ICYMI : Attention, Students! We are providing online registration for students who cannot physically go to CSLIB. Please make sure to register from Monday to Friday during office hours for instant approval and if you intend to use the Study Nook on weekends. #midyear #cslib

UPCSLibrary's tweet photo. ICYMI : Attention, Students!

We are providing online registration for students who cannot physically go to CSLIB. Please make sure to register from Monday to Friday during office hours for instant approval and if you intend to use the Study Nook on weekends. #midyear #cslib https://t.co/QuY0AkHony

0

10

3

0

1K

The Science Library @UPCSLibrary

over 3 years ago

Naubusan ka ba ng ticket ng Men's Basketball FINALS Game 2? Tara sa CSLIB ka na lang manuod, free viewing mamaya 6PM sa CSLIB Study Nook. #uaapseason85 #cslib #unibersidadngpilipinas #upfight #uaapmensbasketballfinalsgame2

UPCSLibrary's tweet photo. Naubusan ka ba ng ticket ng Men's Basketball FINALS Game 2? Tara sa CSLIB ka na lang manuod, free viewing mamaya 6PM sa CSLIB Study Nook. #uaapseason85 #cslib #unibersidadngpilipinas #upfight #uaapmensbasketballfinalsgame2 https://t.co/ahto3k0blP

0

57

24

0

The Science Library @UPCSLibrary

almost 4 years ago

Yes #cslib is open today October 3, 2022. See you! #cslibisreadytoserve

0

2

1

0

The Science Library @UPCSLibrary

about 4 years ago

The long wait is almost over. #CSLIB

1

234

28

1

0

Top Tweets for #CSLib

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users