Toggle navigation
AI
HIT
SEARCH
DIRECTORY
ABOUT
DATA
FEEDBACK
Comment on aiHit
Submit URL to aiHit
LISTS
Worldwide Recent Changes
LSE Recent Changes
AIM Recent Changes
Fortune 1000 Recent Changes
Most Popular Companies
Most Discussed Companies
Most Liked Companies
Recent Comments
GET FREE ACCESS
LOG IN
Overview
60
History of Changes
0
Contacts
2
People
0
Business Relations
0
Summary Financials
0
Comments
FOLLOW COMPANY
LEANPROVER.GITHUB.IO - Key Persons
Gabriel Ebner
Job Titles:
Microsoft Research
Haitao Zhang
Job Titles:
Independent Researcher