The Coq proof assistant was the former name of the Rocq Prover

Follow

Follow

Sergey Bronnikov ligurio

I make software suck less

Follow

Bjarte M. Østvold bjarte-nr

.plan

@NorskRegnesentral Oslo, Norway

Follow

Guillaume FORTAINE gfortaine

Busy building the first copilot for entrepreneurs 🦄 #RAG #LLM 🌐

FORTAINE Software Paris, France

Follow

Donald Sebastian Leung DonaldKellett

Cloud Technical Specialist at Enfinity Solutions Limited

Enfinity Solutions Hong Kong

Follow

Patrik Jansson patrikja

Chalmers University of Technology Göteborg, Sweden

Follow