Awesome AI for Science

📄Papers 🧭Topics 🔥Trending 🗺️Map 🏆Leaderboards 🎓Learn 🤖Ask AI

⋯More

👥Authors 📚Reading Packs 📊Datasets 🛠️Tools 📰News 📝Blogs ✉️Newsletter 🔖Saved

← all datasets

curated dataset of 205 TLA+ specifications

Emerging

1papers using it

2026first seen

Stay Updated

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

curated dataset of 205 TLA+ specifications — datasets — ai-for-science