969 followers 水無麻那 @Mizunashi_Mana Possibly infinite sequences in theorem provers: A comparative study https://t.co/Ra5WjAzwzL #miteru 21 Jan 2019 Reply Repost Favourite