Tag

#copilot

3 posts

• Oct 29, 2024 · Essay · 1 min

  Microsoft and GitHub Introduce New AI Tool Spark

  GitHub and Microsoft have introduced Spark — a new AI tool for creating micro-apps.

• Dec 14, 2023 · Essay · 1 min

  Lean Copilot: A New Step in Theorem Proving Automation

  Lean Copilot is a new tool that changes the theorem proving process with the help of AI.

• Aug 2, 2023 · Essay · 1 min

  Gorilla: Your Assistant for Writing Code with API Calls

  Gorilla is the world's first AI specialized in writing API calls.