Reinventing Boolean Algebra (Lean Prover)

Поділитися
Вставка
  • Опубліковано 18 лис 2024

КОМЕНТАРІ • 2

  • @Maedas
    @Maedas Місяць тому

    I don't think I have ever felt someone deserved my subscription and more exposure to the algorithm, thank you so much for making this!
    I'm looking forward to digging deep into this video tomorrow as I just laid down to sleep, and will return the generosity you have provided with feedback after I have digested it properly.
    Initial thoughts:
    The introduction daunts me but as soon as you got into coding I noticed I could follow.
    Appericiate the dark mode for this session and can see what you mean, while readability isn't bad it isn't emphatically good either.
    Name pronounciation was very acceptable, if you'd ask what I like the most are the "midas" and "made as" variant, without any hard emphasis on any vowel. Lastly, I am from a Sweden and it is 4:47 am right now, was on call this evening.
    Good night and thanks again!

  • @woosix7735
    @woosix7735 18 днів тому

    wow that's a pretty non constructive intro!