Commit history

1. Commits on Jan 13, 2026

   • Add RCF (Real Closed Field) bindings to C++, Java, C#, and TypeScript (#8171)

     Show description for bd0eba8
     

     Copilot

     and

     NikolajBjorner

     authored
     bd0eba8View commit details

     Copy full SHA for bd0eba8

     View code at this pointBrowse repository at this point
2. Loading