Skip to content
@livrelogique

Livre de logique

Popular repositories Loading

  1. pravda pravda Public

    Pravda is a tool for teaching formal logic.

    TypeScript 8 2

  2. livrelogique.github.io livrelogique.github.io Public

    Site web du livre Logique : Fondements et Applications de Pierre Le Barbenchon, Sophie Pinchinat et François Schwarzentruber

    HTML 3

  3. bibtex bibtex Public

Repositories

Showing 3 of 3 repositories
  • pravda Public

    Pravda is a tool for teaching formal logic.

    livrelogique/pravda’s past year of commit activity
    TypeScript 8 GPL-2.0 2 4 0 Updated Mar 14, 2024
  • livrelogique.github.io Public

    Site web du livre Logique : Fondements et Applications de Pierre Le Barbenchon, Sophie Pinchinat et François Schwarzentruber

    livrelogique/livrelogique.github.io’s past year of commit activity
    HTML 3 0 1 0 Updated Sep 19, 2022
  • bibtex Public
    livrelogique/bibtex’s past year of commit activity
    0 0 0 0 Updated Mar 8, 2022

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…