We’ve raised $1.8M and have >$200k/yr revenue from major customers such as Silicon Valley Bank while still being in private beta. The project has piqued the interest of Fields Medalist Tim Gowers (collaborative theorem proving pioneer) and NIST (National Institute of Standards and Technology). The long term plan, however, is to release our software as a personal knowledge base for everyone