Similar repositories to minchaowu/ModalTab:
minchaowu/ModalTab
github
similar
sarsko/CreuSAT
github
similar
own-pt/common-sense-lean
github
similar
FredsoNerd/tptp-lean-puzzles
github
similar
SnobbyDragon/leanhanoi
github
similar
a3nm/academia
github
similar
lecopivo/EigenLean
github
similar
unitb/temporal-logic
github
similar
paulaneeley/modal
github
similar
gihanmarasingha/miu_language
github
similar
naveensundarg/prover
github
similar
hintikkasworld/hintikkasworld
github
similar
TOTBWF/lean4-raytrace
github
similar
avigad/lamr
github
similar
QuMuLab/pdkb-planning
github
similar
avigad/mathematics_in_lean_source
github
similar
leanprover-community/format_lean
github
similar
avigad/qpf
github
similar
GaloisInc/lean4-balance-car
github
similar
jrclogic/SMCDEL
github
similar
erohkohl/mlsolver
github
similar
mpedramfar/Lean-game-maker
github
similar
leanprover/lake
github
similar
arthurpaulino/lean4-metaprogramming-book
github
similar
kovvalsky/LangPro
github
similar
deepmind/logical-entailment-dataset
github
similar
Kyubyong/pron_dictionaries
github
similar
gebner/hott3
github
similar
lecopivo/SciLean
github
similar
TwoFX/sudoku
github
similar
kmill/lean4-raytracer
github
similar
leanprover-community/tutorials
github
similar
blanchette/logical_verification_2020
github
similar
flypitch/flypitch
github
similar
leanprover-community/mathlib4
github
similar
ProofSystem/Encyclopedia
github
similar
IBM/LNN
github
similar
cpitclaudel/alectryon
github
similar
ImperialCollegeLondon/M40001_lean
github
similar
ImperialCollegeLondon/natural_number_game
github
similar