Bernhard Gleiss (@gleiss)
github

gleiss

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,031,282 (Top 36 %)
  • Followers 4
  • Registered over 9 years ago
  • Most used languages
    C++
         50.0 %
    TypeScript
         50.0 %
  • Location 🇦🇹 Austria
  • Country Total Rank 3,448
  • Country Ranking
    TypeScript
         388
    C++
         594

Top repositories

1

saturation-visualization

A visualization tool, which enables an efficient and interactive analysis of Vampire proof attempts.
TypeScript
6
star
2

rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
C++
3
star