WelcomeOctober 10, 2021 · One min readWelcome to the blog of Formal Land. Here we will post various updates about the work we are doing.