max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/tests/elabissues
History
Exact
Joe Hendrix 1118931516
feat: add bitwise operations to reduceNat? and kernel (#3134) 
This adds bitwise operations to reduceNat? and the kernel. It
incorporates some basic test cases to validate the correct operations
are associated.
2024-01-11 18:12:45 +00:00
..
anonymous_constructor_error_msg.lean
bind_with_existential_types.lean
equation_compiler_slow_with_many_constructors.lean
equation_compiler_slow_with_many_constructors2.lean
error_aux_decl_exists.lean
ImplicitLambdas.lean
invalid_field_notation_error_msg.lean
issues1.lean
issues2.lean
issues3.lean
issues4.lean
issues5.lean
issues6.lean
issues7.lean
issues8.lean
leaky_tmp_metavars.lean
leaky_tmp_metavars2.lean
let_destruct_inside_forall.lean
namespace_vs_prefix.lean
nested_namespace_vs_prefix.lean
overload_with_list_coercion.lean
patternIssue.lean
private.lean
ProjNotation.lean
reduceNatWithMeta.lean feat: add bitwise operations to reduceNat? and kernel (#3134) 2024-01-11 18:12:45 +00:00
Reid1.lean
structInst.lean
structure_same_names2.lean
typeclass_nested_validate.lean
typeclass_triggers_typeclass.lean
typeclasses_with_emetavariables.lean
typeclasses_with_preconditions.lean
typeclasses_with_umetavariables.lean
variable_universe_bug.lean
vars.lean
zmod.lean