bugarela's submissions

1.		Our formal methods tool can be a company – because of AI (quint.sh)
		8 points by bugarela 2 days ago \| past \| discuss
2.		Towards a Solution for Cognitive Debt (quint-lang.org)
		2 points by bugarela 40 days ago \| past
3.		Quint LLM Kit for writing and using formal specifications (github.com/informalsystems)
		11 points by bugarela 59 days ago \| past
4.		Choreo: Choreograph Distributed Protocols on Quint (quint-lang.org)
		3 points by bugarela 7 months ago \| past \| 1 comment
5.		Holiday protocols: secret santa with Quint (github.com/informalsystems)
		8 points by bugarela on Dec 21, 2023 \| past \| 1 comment