Bosque

  • written-in: typescript #c++

Vision

  • "mechanization and automated reasoning, along with human and AI agents that leverage them, are the ideas that will define the next era of software development."

Backlinks