Programming Language Theory FlashcardWhat is the difference between a formal generic judgment and a generic judgment?Properties 2Hide BooksChapter 3. Hypothetical and general judgments DeckgeneralQuestionWhat is the difference between a formal generic judgment and a generic judgment?Answer Previous in FlashcardsWhat is the difference between a formal derivability judgment and a derivability judgment?Next in Flashcards What is the difference between = and =? in rocq?